Struct Annotation 

pub struct Annotation {
    pub kind: AnnotationKind,
    pub path: String,
    pub span: Span,
}

A parsed # @… annotation attached to a node (spec/annotations.md).

Fields

kind: AnnotationKind

path: String

Dotted path of the annotated key (scope path + key; bare key at root; binding name for lets) — the path-based enforcement passes (patches, constraints) work on paths.

span: Span

The annotation comment’s span (diagnostics and LSP).

Trait Implementations

impl Clone for Annotation

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Annotation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.