Struct rustc_mir_build::check_unsafety::UnsafetyVisitor
source · struct UnsafetyVisitor<'a, 'tcx> {
tcx: TyCtxt<'tcx>,
thir: &'a Thir<'tcx>,
hir_context: HirId,
safety_context: SafetyContext,
body_target_features: &'tcx [TargetFeature],
assignment_info: Option<Ty<'tcx>>,
in_union_destructure: bool,
param_env: ParamEnv<'tcx>,
inside_adt: bool,
warnings: &'a mut Vec<UnusedUnsafeWarning>,
suggest_unsafe_block: bool,
}
Fields§
§tcx: TyCtxt<'tcx>
§thir: &'a Thir<'tcx>
§hir_context: HirId
The HirId
of the current scope, which would be the HirId
of the current HIR node, modulo adjustments. Used for lint levels.
safety_context: SafetyContext
The current “safety context”. This notably tracks whether we are in an
unsafe
block, and whether it has been used.
body_target_features: &'tcx [TargetFeature]
The #[target_feature]
attributes of the body. Used for checking
calls to functions with #[target_feature]
(RFC 2396).
assignment_info: Option<Ty<'tcx>>
When inside the LHS of an assignment to a field, this is the type of the LHS and the span of the assignment expression.
in_union_destructure: bool
§param_env: ParamEnv<'tcx>
§inside_adt: bool
§warnings: &'a mut Vec<UnusedUnsafeWarning>
§suggest_unsafe_block: bool
Flag to ensure that we only suggest wrapping the entire function body in an unsafe block once.
Implementations§
source§impl<'tcx> UnsafetyVisitor<'_, 'tcx>
impl<'tcx> UnsafetyVisitor<'_, 'tcx>
fn in_safety_context( &mut self, safety_context: SafetyContext, f: impl FnOnce(&mut Self), )
fn emit_deprecated_safe_fn_call(&self, span: Span, kind: &UnsafeOpKind) -> bool
fn requires_unsafe(&mut self, span: Span, kind: UnsafeOpKind)
fn warn_unused_unsafe( &mut self, hir_id: HirId, block_span: Span, enclosing_unsafe: Option<UnusedUnsafeEnclosing>, )
sourcefn unsafe_op_in_unsafe_fn_allowed(&self) -> bool
fn unsafe_op_in_unsafe_fn_allowed(&self) -> bool
Whether the unsafe_op_in_unsafe_fn
lint is allow
ed at the current HIR node.
sourcefn visit_inner_body(&mut self, def: LocalDefId)
fn visit_inner_body(&mut self, def: LocalDefId)
Handle closures/coroutines/inline-consts, which is unsafecked with their parent body.
Trait Implementations§
source§impl<'a, 'tcx> Visitor<'a, 'tcx> for UnsafetyVisitor<'a, 'tcx>
impl<'a, 'tcx> Visitor<'a, 'tcx> for UnsafetyVisitor<'a, 'tcx>
fn thir(&self) -> &'a Thir<'tcx>
fn visit_block(&mut self, block: &'a Block)
fn visit_pat(&mut self, pat: &'a Pat<'tcx>)
fn visit_expr(&mut self, expr: &'a Expr<'tcx>)
fn visit_stmt(&mut self, stmt: &'thir Stmt<'tcx>)
fn visit_arm(&mut self, arm: &'thir Arm<'tcx>)
Auto Trait Implementations§
impl<'a, 'tcx> Freeze for UnsafetyVisitor<'a, 'tcx>
impl<'a, 'tcx> !RefUnwindSafe for UnsafetyVisitor<'a, 'tcx>
impl<'a, 'tcx> !Send for UnsafetyVisitor<'a, 'tcx>
impl<'a, 'tcx> !Sync for UnsafetyVisitor<'a, 'tcx>
impl<'a, 'tcx> Unpin for UnsafetyVisitor<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for UnsafetyVisitor<'a, 'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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: 120 bytes