| // this used to cause stack overflows | |
| trait Hrtb<'a> { | |
| type Assoc; | |
| } | |
| impl<'a> Hrtb<'a> for () { | |
| type Assoc = (); | |
| } | |
| impl<'a> Hrtb<'a> for &'a () { | |
| type Assoc = (); | |
| } | |
| fn make_impl() -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {} | |
| //~^ ERROR `impl Trait` cannot capture higher-ranked lifetime from outer `impl Trait` | |
| fn main() {} |