src/test/ui/issues/issue-3979-2.rs

// 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() {}