Patch
A suggested source edit attached to a Diagnostic.
Fields
message @ Str[get]Human-readable text describing the suggested change.
span @ SourceSpan[get]The span to replace.
sub @ Str[get]The replacement text.
A suggested source edit attached to a Diagnostic.
message @ Str [get]Human-readable text describing the suggested change.
span @ SourceSpan [get]The span to replace.
sub @ Str [get]The replacement text.