Module rustc_mir::dataflow::impls::init_locals

A less precise version of MaybeInitializedPlaces whose domain is entire locals.

A local will be maybe initialized if any projections of that local might be initialized.

Structs

MaybeInitializedLocals
TransferFunction