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