class X { } interface A : X { }