interface A { interface B { } } interface C extends A, D<C.B> {} interface D<T> {}