Re-exports§
use rustc_abi::FieldIdx;🔒use rustc_attr_ir::find_attr;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_data_structures::fx::FxIndexMap;🔒use rustc_data_structures::fx::IndexEntry;🔒use rustc_hir::def::CtorKind;🔒use rustc_hir::def::DefKind;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_index::IndexVec;🔒use rustc_index::bit_set::DenseBitSet;🔒use rustc_lint_defs::builtin::UNUSED_ASSIGNMENTS;🔒use rustc_lint_defs::builtin::UNUSED_VARIABLES;🔒use rustc_middle::mir::visit::MutatingUseContext;🔒use rustc_middle::mir::visit::NonMutatingUseContext;🔒use rustc_middle::mir::visit::NonUseContext;🔒use rustc_middle::mir::visit::PlaceContext;🔒use rustc_middle::mir::visit::Visitor;🔒use rustc_middle::ty::print::with_no_trimmed_paths;🔒use rustc_middle::ty::print::with_no_trimmed_paths;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_mir_dataflow::fmt::DebugWithContext;🔒use rustc_mir_dataflow::Analysis;🔒use rustc_mir_dataflow::Backward;🔒use rustc_mir_dataflow::ResultsCursor;🔒use rustc_span::edit_distance::find_best_match_for_name;🔒use rustc_span::symbol::Symbol;🔒use rustc_span::symbol::kw;🔒use rustc_span::symbol::sym;🔒use rustc_span::Span;🔒use rustc_span::bug;🔒use crate::diagnostics;🔒use rustc_middle::mir::*;🔒
Structs§
Enums§
- Access
Kind 🔒 - Capture
Kind 🔒 - DefUse 🔒
Functions§
- annotate_
mut_ 🔒binding_ to_ immutable_ binding - Detect the following case
- check_
liveness 🔒 - find_
self_ 🔒assignments - Compute self-assignments of the form
a += b. - is_
capture 🔒 - Small helper to make semantics easier to read.
- is_
indirect 🔒 - maybe_
drop_ 🔒guard - Return whether we should consider the current place as a drop guard and skip reporting.
- maybe_
suggest_ 🔒unit_ pattern_ typo - Give a diagnostic when an unused variable may be a typo of a unit variant or a struct.