class C implements X.Y<T> {}