//@ check-pass
//@ pretty-expanded FIXME #23616

trait A<X> {
    fn dummy(&self, arg: X);
}

trait B {
    type X;
    type Y: A<Self::X>;

    fn dummy(&self);
}

fn main () { }