Struct rustc_borrowck::type_check::TypeVerifier

struct TypeVerifier<'a, 'b, 'tcx> {
    cx: &'a mut TypeChecker<'b, 'tcx>,
    promoted: &'b IndexVec<Promoted, Body<'tcx>>,
    last_span: Span,
    errors_reported: bool,
}

Verifies that MIR types are sane to not crash further checks.

The sanitize_XYZ methods here take an MIR object and compute its type, calling span_mirbug and returning an error type if there is a problem.

Fields

cx: &'a mut TypeChecker<'b, 'tcx>

promoted: &'b IndexVec<Promoted, Body<'tcx>>

last_span: Span

errors_reported: bool

Implementations

impl<'a, 'b, 'tcx> TypeVerifier<'a, 'b, 'tcx>

fn new(
    cx: &'a mut TypeChecker<'b, 'tcx>,
    promoted: &'b IndexVec<Promoted, Body<'tcx>>
) -> Self

fn body(&self) -> &Body<'tcx>

fn tcx(&self) -> TyCtxt<'tcx>

fn sanitize_type(&mut self, parent: &dyn Debug, ty: Ty<'tcx>) -> Ty<'tcx>

fn sanitize_place(
    &mut self,
    place: &Place<'tcx>,
    location: Location,
    context: PlaceContext
) -> PlaceTy<'tcx>

Checks that the types internal to the place match up with what would be expected.

fn sanitize_promoted(&mut self, promoted_body: &'b Body<'tcx>, location: Location)

fn sanitize_projection(
    &mut self,
    base: PlaceTy<'tcx>,
    pi: PlaceElem<'tcx>,
    place: &Place<'tcx>,
    location: Location
) -> PlaceTy<'tcx>

fn error(&mut self) -> Ty<'tcx>

fn field_ty(
    &mut self,
    parent: &dyn Debug,
    base_ty: PlaceTy<'tcx>,
    field: Field,
    location: Location
) -> Result<Ty<'tcx>, FieldAccessError>

Trait Implementations

impl<'a, 'b, 'tcx> Visitor<'tcx> for TypeVerifier<'a, 'b, 'tcx>

fn visit_span(&mut self, span: Span)

fn visit_place(
    &mut self,
    place: &Place<'tcx>,
    context: PlaceContext,
    location: Location
)

fn visit_constant(&mut self, constant: &Constant<'tcx>, location: Location)

fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

fn visit_body(&mut self, body: &Body<'tcx>)

fn visit_basic_block_data(
    &mut self,
    block: BasicBlock,
    data: &BasicBlockData<'tcx>
)

fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)

fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location)

fn visit_assign(
    &mut self,
    place: &Place<'tcx>,
    rvalue: &Rvalue<'tcx>,
    location: Location
)

fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location)

fn visit_assert_message(
    &mut self,
    msg: &AssertKind<Operand<'tcx>>,
    location: Location
)

fn visit_operand(&mut self, operand: &Operand<'tcx>, location: Location)

fn visit_ascribe_user_ty(
    &mut self,
    place: &Place<'tcx>,
    variance: Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

fn visit_coverage(&mut self, coverage: &Coverage, location: Location)

fn visit_retag(&mut self, kind: RetagKind, place: &Place<'tcx>, location: Location)

fn visit_projection(
    &mut self,
    place_ref: PlaceRef<'tcx>,
    context: PlaceContext,
    location: Location
)

fn visit_projection_elem(
    &mut self,
    local: Local,
    proj_base: &[ProjectionElem<Local, Ty<'tcx>>],
    elem: ProjectionElem<Local, Ty<'tcx>>,
    context: PlaceContext,
    location: Location
)

fn super_place(
    &mut self,
    place: &Place<'tcx>,
    context: PlaceContext,
    location: Location
)

fn super_projection(
    &mut self,
    place_ref: PlaceRef<'tcx>,
    context: PlaceContext,
    location: Location
)

fn super_projection_elem(
    &mut self,
    _local: Local,
    _proj_base: &[ProjectionElem<Local, Ty<'tcx>>],
    elem: ProjectionElem<Local, Ty<'tcx>>,
    _context: PlaceContext,
    location: Location
)

fn visit_source_info(&mut self, source_info: &SourceInfo)

fn visit_ty(&mut self, ty: Ty<'tcx>, TyContext)

fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)

fn visit_user_type_annotation(
    &mut self,
    index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation<'tcx>
)

fn visit_region(&mut self, region: Region<'tcx>, Location)

fn visit_substs(&mut self, substs: &&'tcx List<GenericArg<'tcx>>, Location)

fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

fn visit_local(
    &mut self,
    _local: Local,
    _context: PlaceContext,
    _location: Location
)

fn visit_source_scope(&mut self, scope: SourceScope)

fn super_body(&mut self, body: &Body<'tcx>)

fn super_basic_block_data(
    &mut self,
    block: BasicBlock,
    data: &BasicBlockData<'tcx>
)

fn super_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)

fn super_statement(&mut self, statement: &Statement<'tcx>, location: Location)

fn super_assign(
    &mut self,
    place: &Place<'tcx>,
    rvalue: &Rvalue<'tcx>,
    location: Location
)

fn super_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location)

fn super_assert_message(
    &mut self,
    msg: &AssertKind<Operand<'tcx>>,
    location: Location
)

fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)

fn super_ascribe_user_ty(
    &mut self,
    place: &Place<'tcx>,
    _variance: Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

fn super_coverage(&mut self, _coverage: &Coverage, _location: Location)

fn super_retag(
    &mut self,
    _kind: RetagKind,
    place: &Place<'tcx>,
    location: Location
)

fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

fn super_source_scope(&mut self, _scope: SourceScope)

fn super_constant(&mut self, constant: &Constant<'tcx>, location: Location)

fn super_span(&mut self, _span: Span)

fn super_source_info(&mut self, source_info: &SourceInfo)

fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)

fn super_user_type_annotation(
    &mut self,
    _index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation<'tcx>
)

fn super_ty(&mut self, _ty: Ty<'tcx>)

fn super_region(&mut self, _region: Region<'tcx>)

fn super_substs(&mut self, _substs: &&'tcx List<GenericArg<'tcx>>)

fn visit_location(&mut self, body: &Body<'tcx>, location: Location)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes