Annotation

An additional highlighted region attached to a Diagnostic.

Fields

kind @ (:PRIMARY: | :CONTEXT:)

The annotation kind.

message @ Str

The annotation label.

span @ Span

The annotated span.