Module rustc_peek 

Re-exports

use rustc_attr_ir::RustcMirKind; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Span; 🔒

use rustc_span::sym; 🔒

use tracing::debug; 🔒

use tracing::info; 🔒

use crate::diagnostics::PeekArgumentNotALocal; 🔒

use crate::diagnostics::PeekArgumentUntracked; 🔒

use crate::diagnostics::PeekBitNotSet; 🔒

use crate::diagnostics::PeekMustBeNotTemporary; 🔒

use crate::diagnostics::PeekMustBePlaceOrRefPlace; 🔒

use crate::diagnostics::StopAfterDataFlowEndedCompilation; 🔒

use crate::framework::BitSetExt; 🔒

use crate::impls::MaybeInitializedPlaces; 🔒

use crate::impls::MaybeLiveLocals; 🔒

use crate::impls::MaybeUninitializedPlaces; 🔒

use crate::move_paths::HasMoveData; 🔒

use crate::move_paths::LookupResult; 🔒

use crate::move_paths::MoveData; 🔒

use crate::move_paths::MovePathIndex; 🔒

use crate::Analysis; 🔒

use crate::JoinSemiLattice; 🔒

use crate::ResultsCursor; 🔒

Structs

PeekCall 🔒

Enums

PeekCallKind 🔒

Traits

RustcPeekAt 🔒

Functions

sanity_check

sanity_check_via_rustc_peek 🔒

This function scans mir for all calls to the intrinsic rustc_peek that have the expression form rustc_peek(&expr).

value_assigned_to_local 🔒

If stmt is an assignment where the LHS is the given local (with no projections), returns the RHS of the assignment.