Struct UserTypeAnnotations 

pub(crate) struct UserTypeAnnotations {
    annotations: IndexVec<UserTypeAnnotationIndex, UserTypeAnnotation>,
    pub outlives: Vec<OutlivesPred>,
}

User-provided type annotations for this MIR body.

Fields

annotations: IndexVec<UserTypeAnnotationIndex, UserTypeAnnotation>

outlives: Vec<OutlivesPred>

Implementations

impl UserTypeAnnotations

pub(crate) fn new<'tcx>( ctx: &mut ItemTransCtx<'tcx, '_>, body: &Body<'tcx>, ) -> Result<Self, Error>

Translate the annotations for this body. The returned value can then be used to fetch the types of annotations.

pub(crate) fn translate_local_ty<'tcx>( &self, ctx: &mut ItemTransCtx<'tcx, '_>, span: Span, local_id: LocalId, decl: &LocalDecl<'tcx>, ) -> Result<(Ty, Vec<PlaceTypeConstraint>), Error>

Get the type of this local and the constraints from its type annotations.

pub(crate) fn translate_annotation( &self, index: UserTypeAnnotationIndex, ) -> Option<Ty>

Look up the (unprojected) type of an annotation.

pub(crate) fn translate_projected_annotation( &self, projection: &UserTypeProjection, ) -> Ty

Look up the type of an annotation.