src/test/ui/impl-trait/universal_wrong_hrtb.rs

   1 trait Trait<'a> {
   2     type Assoc;
   3 }
   4
   5 fn test_argument_position(x: impl for<'a> Trait<'a, Assoc = impl Copy + 'a>) {}
   6 //~^ ERROR `impl Trait` can only mention lifetimes bound at the fn or impl level
   7
   8 fn main() {}