fn propagate<'tcx>(
    result: &mut IndexVec<BasicBlock, CleanupKind>,
    mir: &Body<'tcx>
)