Struct flowistry_pdg::rustc::mir::UserTypeProjection

pub struct UserTypeProjection {
    pub base: UserTypeAnnotationIndex,
    pub projs: Vec<ProjectionElem<(), ()>, Global>,
}

Encodes the effect of a user-supplied type annotation on the subcomponents of a pattern. The effect is determined by applying the given list of projections to some underlying base type. Often, the projection element list projs is empty, in which case this directly encodes a type in base. But in the case of complex patterns with subpatterns and bindings, we want to apply only a part of the type to a variable, in which case the projs vector is used.

Examples:

• let x: T = ... – here, the projs vector is empty.

• let (x, _): T = ... – here, the projs vector would contain field[0] (aka .0), indicating that the type of s is determined by finding the type of the .0 field from T.

Fields

base: UserTypeAnnotationIndex

projs: Vec<ProjectionElem<(), ()>, Global>