[−][src]Module rustc_mir::borrow_check::nll::type_check::liveness::trace
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Structs
DropData |
[ Experimental ]
|
LivenessContext |
[ Experimental ] Contextual state for the type-liveness generator. |
LivenessResults |
[ Experimental ]
|
Functions
trace |
[ Experimental ] This is the heart of the liveness computation. For each variable X that requires a liveness computation, it walks over all the uses of X and does a reverse depth-first search ("trace") through the MIR. This search stops when we find a definition of that variable. The points visited in this search is the USE-LIVE set for the variable; of those points is added to all the regions that appear in the variable's type. |