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