1
Fork 0

Fold lifetimes before substitution.

This commit is contained in:
Camille GILLOT 2023-06-03 08:38:44 +00:00
parent 9450b75986
commit ff03204365

View file

@ -3115,25 +3115,25 @@ fn bind_generator_hidden_types_above<'tcx>(
.generator_hidden_types(def_id) .generator_hidden_types(def_id)
// Deduplicate tys to avoid repeated work. // Deduplicate tys to avoid repeated work.
.filter(|bty| seen_tys.insert(*bty)) .filter(|bty| seen_tys.insert(*bty))
.map(|bty| { .map(|mut bty| {
let mut ty = bty.instantiate(tcx, args);
// Only remap erased regions if we use them. // Only remap erased regions if we use them.
if considering_regions { if considering_regions {
ty = tcx.fold_regions(ty, |r, current_depth| match r.kind() { bty = bty.map_bound(|ty| {
ty::ReErased => { tcx.fold_regions(ty, |r, current_depth| match r.kind() {
let br = ty::BoundRegion { ty::ReErased => {
var: ty::BoundVar::from_u32(counter), let br = ty::BoundRegion {
kind: ty::BrAnon(None), var: ty::BoundVar::from_u32(counter),
}; kind: ty::BrAnon(None),
counter += 1; };
ty::Region::new_late_bound(tcx, current_depth, br) counter += 1;
} ty::Region::new_late_bound(tcx, current_depth, br)
r => bug!("unexpected region: {r:?}"), }
r => bug!("unexpected region: {r:?}"),
})
}) })
} }
ty bty.instantiate(tcx, args)
}) })
.collect(); .collect();
if considering_regions { if considering_regions {