The following code is forbidden by JLS2 (8.4.6.4) yet accepted by javac

interface A {
    B f();
}
interface B {
    C f();
}
interface C extends A,B {
}