path: root/tests/bugs150/pr110788/Case3.java

interface A<T> {}

interface B<T> extends A<T> {}

class C implements A<String> {}

class D extends C {}

aspect X {
  declare parents: D implements B<String>; // Can do it, parameterizations are compatible
}