pub struct UnsafetyChecker<'a, 'tcx> {
    body: &'a Body<'tcx>,
    body_did: LocalDefId,
    violations: Vec<UnsafetyViolation>,
    source_info: SourceInfo,
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    used_unsafe_blocks: UnordSet<HirId>,
}

Fields§

§body: &'a Body<'tcx>§body_did: LocalDefId§violations: Vec<UnsafetyViolation>§source_info: SourceInfo§tcx: TyCtxt<'tcx>§param_env: ParamEnv<'tcx>§used_unsafe_blocks: UnordSet<HirId>

Used unsafe blocks in this function. This is used for the “unused_unsafe” lint.

Implementations§

source§

impl<'a, 'tcx> UnsafetyChecker<'a, 'tcx>

source

fn new( body: &'a Body<'tcx>, body_did: LocalDefId, tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx> ) -> Self

source§

impl<'tcx> UnsafetyChecker<'_, 'tcx>

source

fn require_unsafe( &mut self, kind: UnsafetyViolationKind, details: UnsafetyViolationDetails )

source

fn register_violations<'a>( &mut self, violations: impl IntoIterator<Item = &'a UnsafetyViolation>, new_used_unsafe_blocks: UnordItems<HirId, impl Iterator<Item = HirId>> )

source

fn check_mut_borrowing_layout_constrained_field( &mut self, place: Place<'tcx>, is_mut_use: bool )

source

fn check_target_features(&mut self, func_did: DefId)

Checks whether calling func_did needs an unsafe context or not, i.e. whether the called function has target features the calling function hasn’t.

Trait Implementations§

source§

impl<'tcx> Visitor<'tcx> for UnsafetyChecker<'_, 'tcx>

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn visit_projection_elem( &mut self, place_ref: PlaceRef<'tcx>, elem: ProjectionElem<Local, Ty<'tcx>>, context: PlaceContext, location: Location )

source§

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

source§

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

source§

fn super_projection_elem( &mut self, _place_ref: PlaceRef<'tcx>, elem: ProjectionElem<Local, Ty<'tcx>>, _context: PlaceContext, location: Location )

source§

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

source§

fn visit_ty_const(&mut self, ct: Const<'tcx>, location: Location)

source§

fn visit_span(&mut self, span: Span)

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn visit_args(&mut self, args: &&'tcx List<GenericArg<'tcx>>, _: Location)

source§

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

source§

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

source§

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

source§

fn visit_source_scope(&mut self, scope: SourceScope)

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn super_source_scope(&mut self, _scope: SourceScope)

source§

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

source§

fn super_ty_const(&mut self, _ct: Const<'tcx>, _location: Location)

source§

fn super_span(&mut self, _span: Span)

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn super_args(&mut self, _args: &&'tcx List<GenericArg<'tcx>>)

source§

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

Auto Trait Implementations§

§

impl<'a, 'tcx> !RefUnwindSafe for UnsafetyChecker<'a, 'tcx>

§

impl<'a, 'tcx> !Send for UnsafetyChecker<'a, 'tcx>

§

impl<'a, 'tcx> !Sync for UnsafetyChecker<'a, 'tcx>

§

impl<'a, 'tcx> Unpin for UnsafetyChecker<'a, 'tcx>

§

impl<'a, 'tcx> !UnwindSafe for UnsafetyChecker<'a, 'tcx>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

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: 96 bytes