Function escaping_locals

fn escaping_locals<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    excluded: &BitSet<Local>,
    body: &Body<'tcx>,
) -> BitSet<Local>

Identify all locals that are not eligible for SROA.

There are 3 cases:

• the aggregated local is used or passed to other code (function parameters and arguments);
• the locals is a union or an enum;
• the local’s address is taken, and thus the relative addresses of the fields are observable to client code.