fn compute_flattening<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    body: &mut Body<'tcx>,
    escaping: BitSet<Local>
) -> ReplacementMap<'tcx>
Expand description

Compute the replacement of flattened places into locals.

For each eligible place, we assign a new local to each accessed field. The replacement will be done later in ReplacementVisitor.