Struct UnsafeVisitor 

struct UnsafeVisitor<'db> {
    db: &'db dyn HirDatabase,
    infer: &'db InferenceResult<'db>,
    body: &'db ExpressionStore,
    resolver: Resolver<'db>,
    def: ExpressionStoreOwnerId,
    inside_unsafe_block: InsideUnsafeBlock,
    inside_assignment: bool,
    inside_union_destructure: bool,
    callback: &'db mut dyn FnMut(UnsafeDiagnostic),
    def_target_features: TargetFeatures<'db>,
    edition: Edition,
    target_feature_is_safe: TargetFeatureIsSafeInTarget,
}

Fields

db: &'db dyn HirDatabase

infer: &'db InferenceResult<'db>

body: &'db ExpressionStore

resolver: Resolver<'db>

def: ExpressionStoreOwnerId

inside_unsafe_block: InsideUnsafeBlock

inside_assignment: bool

inside_union_destructure: bool

callback: &'db mut dyn FnMut(UnsafeDiagnostic)

def_target_features: TargetFeatures<'db>

edition: Edition

target_feature_is_safe: TargetFeatureIsSafeInTarget

On some targets (WASM), calling safe functions with #[target_feature] is always safe, even when the target feature is not enabled. This flag encodes that.

Implementations

impl<'db> UnsafeVisitor<'db>

fn new( db: &'db dyn HirDatabase, infer: &'db InferenceResult<'db>, body: &'db ExpressionStore, def: ExpressionStoreOwnerId, unsafe_expr_cb: &'db mut dyn FnMut(UnsafeDiagnostic), ) -> Self

fn on_unsafe_op(&mut self, node: ExprOrPatId, reason: UnsafetyReason)

fn check_call(&mut self, node: ExprId, func: FunctionId)

fn with_inside_unsafe_block<R>( &mut self, inside_unsafe_block: InsideUnsafeBlock, f: impl FnOnce(&mut Self) -> R, ) -> R

fn walk_pats_top( &mut self, pats: impl Iterator<Item = PatId>, parent_expr: ExprId, )

fn walk_pat(&mut self, current: PatId)

fn walk_expr(&mut self, current: ExprId)

fn mark_unsafe_path(&mut self, node: ExprOrPatId, path: &Path)