Expand description
The Visitor responsible for actually checking a mir::Body for invalid operations.
Re-exports§
use std::borrow::Cow;🔒use std::num::NonZero;🔒use std::ops::Deref;🔒use std::assert_matches;🔒use std::mem;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_attr_ir::ConstStability;🔒use rustc_attr_ir::StabilityLevel;🔒use rustc_attr_ir::find_attr;🔒use rustc_errors::Diag;🔒use rustc_errors::ErrorGuaranteed;🔒use rustc_hir as hir;🔒use rustc_hir::def::DefKind;🔒use rustc_hir::def_id::DefId;🔒use rustc_index::bit_set::DenseBitSet;🔒use rustc_infer::infer::TyCtxtInferExt;🔒use rustc_middle::mir::visit::Visitor;🔒use rustc_middle::ty::adjustment::PointerCoercion;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_mir_dataflow::Analysis;🔒use rustc_mir_dataflow::impls::MaybeStorageLive;🔒use rustc_mir_dataflow::impls::always_storage_live_locals;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::span_bug;🔒use rustc_span::sym;🔒use rustc_trait_selection::traits::Obligation;🔒use rustc_trait_selection::traits::ObligationCause;🔒use rustc_trait_selection::traits::ObligationCauseCode;🔒use rustc_trait_selection::traits::ObligationCtxt;🔒use tracing::instrument;🔒use tracing::instrument;🔒use tracing::trace;🔒use super::ops;🔒use super::ops::NonConstOp;🔒use super::ops::Status;🔒use super::qualifs;🔒use super::qualifs::HasMutInterior;🔒use super::qualifs::NeedsDrop;🔒use super::qualifs::NeedsNonConstDrop;🔒use super::resolver::FlowSensitiveAnalysis;🔒use super::ConstCx;🔒use super::Qualif;🔒use crate::check_consts::is_fn_or_trait_safe_to_expose_on_stable;🔒use crate::diagnostics;🔒use rustc_middle::mir::*;🔒