pub trait A: Copy {}

pub trait D {
    fn f<T>(self)
        where T<Bogus = Self::AlsoBogus>: A;
        //~^ ERROR associated type bindings are not allowed here [E0229]
}

fn main() {}