Module lint 

This pass statically detects code which has undefined behaviour or is likely to be erroneous. It can be used to locate problems in MIR building or optimizations. It assumes that all code can be executed, so it has false positives.

Re-exports

use std::borrow::Cow; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::mir::visit::PlaceContext; 🔒

use rustc_middle::mir::visit::VisitPlacesWith; 🔒

use rustc_middle::mir::visit::Visitor; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::impls::MaybeStorageDead; 🔒

use rustc_mir_dataflow::impls::MaybeStorageLive; 🔒

use rustc_mir_dataflow::impls::always_storage_live_locals; 🔒

use rustc_mir_dataflow::Analysis; 🔒

use rustc_mir_dataflow::ResultsCursor; 🔒

use rustc_middle::mir::*; 🔒

Structs

Lint 🔒

Functions

lint_body 🔒

places_conflict_for_assignment 🔒

Checks whether reading src while assigning to dest would violate MIR’s non-overlap requirement for assignments.