Description Andrew Clement 2005-09-27 08:51:16 EDT

This program:
interface A<T> {}

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

class C implements A<String> {}

class D extends C implements B<Number>{}

produces:

K:\ws\aspectj_ws3\tests\bugs150\pr110307>ajc MultipleParameterizations1.java -1.5
K:\ws\aspectj_ws3\tests\bugs150\pr110307\MultipleParameterizations1.java:7 
  [error] The interface A cannot be implemented more than once with different
   arguments: A<String> and A<Number>
class D extends C implements B<Number>{}


This program:

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<Number>;
}


compiles fine - it should report the same error.