tests/ui/impl-trait/universal_wrong_hrtb.rs

trait Trait<'a> {
    type Assoc;
}

fn test_argument_position(x: impl for<'a> Trait<'a, Assoc = impl Copy + 'a>) {}
//~^ ERROR `impl Trait` can only mention lifetimes from an fn or impl

fn main() {}