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

   1 error: `impl Trait` can only mention lifetimes bound at the fn or impl level
   2   --> $DIR/universal_wrong_hrtb.rs:5:73
   3    |
   4 LL | fn test_argument_position(x: impl for<'a> Trait<'a, Assoc = impl Copy + 'a>) {}
   5    |                                                                         ^^
   6    |
   7 note: lifetime declared here
   8   --> $DIR/universal_wrong_hrtb.rs:5:39
   9    |
  10 LL | fn test_argument_position(x: impl for<'a> Trait<'a, Assoc = impl Copy + 'a>) {}
  11    |                                       ^^
  12
  13 error: aborting due to previous error
  14