Struct rustc_mir_build::check_unsafety::UnsafetyVisitor

struct UnsafetyVisitor<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    thir: &'a Thir<'tcx>,
    hir_context: HirId,
    safety_context: SafetyContext,
    body_target_features: &'tcx [Symbol],
    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 [Symbol]

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

impl<'tcx> UnsafetyVisitor<'_, 'tcx>

fn in_safety_context( &mut self, safety_context: SafetyContext, f: impl FnOnce(&mut Self) )

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> )

fn unsafe_op_in_unsafe_fn_allowed(&self) -> bool

Whether the unsafe_op_in_unsafe_fn lint is allowed at the current HIR node.

fn visit_inner_body(&mut self, def: LocalDefId)

Handle closures/coroutines/inline-consts, which is unsafecked with their parent body.

Trait Implementations

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>)

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