Module rustc_mir_dataflow::impls::init_locals
source · 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.