fn predecessor_locations<'tcx, 'a>(
    body: &'a Body<'tcx>,
    location: Location
) -> impl Iterator<Item = Location> + Captures<'tcx> + 'a