Skip to main content

UserAnnotationProj

Type Alias UserAnnotationProj 

Source
pub type UserAnnotationProj = Vec<ProjectionKind>;
Expand description

Denotes a subplace of a user annotation, e.g. in let Foo { x, .. }: Self = ...; the annotation will have a projection for x.

Aliased Typeยง

pub struct UserAnnotationProj { /* private fields */ }