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

interface A<T> {}

class C implements A<String> {}

class D extends C {}

aspect X {
  declare parents: D implements A<Number>; // Can't do it, C implements A<String>
}