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