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