Module resolver 

Propagate Qualifs between locals and query the results.

This contains the dataflow analysis used to track Qualifs on complex control-flow graphs.

Re-exports

use std::fmt; 🔒

use std::marker::PhantomData; 🔒

use rustc_index::bit_set::MixedBitSet; 🔒

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

use rustc_middle::mir; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::CallReturnPlaces; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Statement; 🔒

use rustc_middle::mir::StatementKind; 🔒

use rustc_mir_dataflow::fmt::DebugWithContext; 🔒

use rustc_mir_dataflow::Analysis; 🔒

use rustc_mir_dataflow::JoinSemiLattice; 🔒

use super::ConstCx; 🔒

use super::Qualif; 🔒

use super::qualifs; 🔒

Structs

FlowSensitiveAnalysis 🔒

The dataflow analysis used to propagate qualifs on arbitrary CFGs.

State 🔒

The state for the FlowSensitiveAnalysis dataflow analysis. This domain is likely homogeneous, and has a big size, so we use a bitset that can be sparse (c.f. issue #134404).

TransferFunction 🔒

A Visitor that propagates qualifs between locals. This defines the transfer function of FlowSensitiveAnalysis.