interface I extends X.Y {}