(class implements X.Y<T> {});
(class C implements X.Y<T> {});