class C extends f() implements X.Y {}