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_unsafety: BodyUnsafety,
    body_target_features: &'tcx Vec<Symbol>,
    is_const: 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_unsafety: BodyUnsafety

body_target_features: &'tcx Vec<Symbol>

The #[target_feature] attributes of the body. Used for checking calls to functions with #[target_feature] (RFC 2396).

is_const: bool

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(
    &self,
    hir_id: HirId,
    block_span: Span,
    enclosing_unsafe: Option<(Span, &'static str)>
)

fn unsafe_op_in_unsafe_fn_allowed(&self) -> bool

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

Trait Implementations

impl<'a, 'tcx> Visitor<'a, 'tcx> for UnsafetyVisitor<'a, 'tcx>

fn thir(&self) -> &'a Thir<'tcx>

fn visit_block(&mut self, block: &Block)

fn visit_expr(&mut self, expr: &Expr<'tcx>)

fn visit_stmt(&mut self, stmt: &Stmt<'tcx>)

fn visit_arm(&mut self, arm: &Arm<'tcx>)

fn visit_pat(&mut self, pat: &Pat<'tcx>)

fn visit_const(&mut self, _cnst: &'tcx Const<'tcx>)

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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: 72 bytes