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.

Structs