fn bcb_filtered_successors<'a, 'tcx>(
    body: &'a Body<'tcx>,
    bb: BasicBlock
) -> impl Iterator<Item = BasicBlock> + Captures<'a> + Captures<'tcx>