type <'tcx, 'a> = impl : Iterator<Item = Location> + Captures<'tcx> + 'a;