Struct rustc_borrowck::type_check::TypeVerifier
source · struct TypeVerifier<'a, 'b, 'tcx> {
cx: &'a mut TypeChecker<'b, 'tcx>,
promoted: &'b IndexVec<Promoted, Body<'tcx>>,
last_span: Span,
errors_reported: bool,
}
Expand description
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
sourceimpl<'a, 'b, 'tcx> TypeVerifier<'a, 'b, 'tcx>
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>
sourcefn sanitize_place(
&mut self,
place: &Place<'tcx>,
location: Location,
context: PlaceContext
) -> PlaceTy<'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
sourceimpl<'a, 'b, 'tcx> Visitor<'tcx> for TypeVerifier<'a, 'b, 'tcx>
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)
Auto Trait Implementations
impl<'a, 'b, 'tcx> !RefUnwindSafe for TypeVerifier<'a, 'b, 'tcx>
impl<'a, 'b, 'tcx> !Send for TypeVerifier<'a, 'b, 'tcx>
impl<'a, 'b, 'tcx> !Sync for TypeVerifier<'a, 'b, 'tcx>
impl<'a, 'b, 'tcx> Unpin for TypeVerifier<'a, 'b, 'tcx>where
'b: 'a,
'tcx: 'a + 'b,
impl<'a, 'b, 'tcx> !UnwindSafe for TypeVerifier<'a, 'b, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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