| // A regression test for #124021. When liberating the late bound regions here |
| // we encounter multiple `LateBoundRegion::Anon`. These ended up resulting in |
| // distinct nll vars, but mapped to the same `RegionKind::LateParam`. This |
| // then caused an ICE when trying to fetch lazily computed information for the |
| // nll var of an overwritten liberated bound region. |
| #![feature(type_alias_impl_trait)] |
| type Opaque2<'a> = impl Sized + 'a; |
| |
| #[define_opaque(Opaque2)] |
| fn test2() -> impl for<'a, 'b> Fn((&'a str, &'b str)) -> (Opaque2<'a>, Opaque2<'a>) { |
| |x| x |
| //~^ ERROR lifetime may not live long enough |
| //~| ERROR expected generic lifetime parameter, found `'a` |
| } |
| |
| fn main() {} |
