fn compute_layout<'tcx>(
    liveness: LivenessInfo,
    body: &Body<'tcx>
) -> (FxHashMap<Local, (Ty<'tcx>, VariantIdx, FieldIdx)>, CoroutineLayout<'tcx>, IndexVec<BasicBlock, Option<BitSet<Local>>>)