Module rustc_mir_dataflow::impls::init_locals [−][src]
Expand description
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.