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

trait A {
    fn a_method(&self);
}

trait B: A {
    fn b_method(&self);
}

trait C: B {
    fn c_method(&self) {
        self.a_method();
    }
}

pub fn main() {}