Annotation
An additional highlighted region attached to a
Diagnostic.
Fields
kind @ (:PRIMARY: | :CONTEXT:)[get]The annotation kind.
message @ Str[get]The annotation label.
span @ SourceSpan[get]The annotated span.
An additional highlighted region attached to a
Diagnostic.
kind @ (:PRIMARY: | :CONTEXT:) [get]The annotation kind.
message @ Str [get]The annotation label.
span @ SourceSpan [get]The annotated span.