Description Michael Huffman 2008-04-10 13:01:28 EDT

I am using the latest AJDT (1.5.2.200804031719) from 3 Apr 2008. Also I am compiling with Java 1.6.0_03 under 5.0 compliance. 

This bug occurs in the following example code (also attached):

//BarAspect
package a;

import b.Bar;
import b.Foo;

public aspect BarAspect {
   declare parents : Foo implements Bar;
}

//Bar
package b;

import java.util.Collection;

public interface Bar {
   public Collection<Foo> getFoos();  
}

//Foo
package b;

import java.util.ArrayList;
import java.util.Collection;

public class Foo {
   public Collection<Foo> getFoos() {
      return new ArrayList<Foo>() {{ add(new Foo()); }};
   }
}

When using Eclipse, Foo.java fails to compile with the following error: "The return type is incompatible withe b.Bar.getFoos()". This bug only occurs in Eclipse and works when running the AspectJ compiler from the command line. The following conditions seem necessary to reproduce this bug:

*Aspect (BarAspect) and type being advised (Foo) are in different packages
*The implementation of the interface (Bar) is already done by the type being advised (Foo)
*The return type of a method in the interface is generic

When the implementation is advised into the type (Foo), then the error does not appear. Also, when the type (Foo) is moved to the same package as the aspect (BarAspect), the error goes away as well. Only when the combination of the previous three conditions exists does the bug appear.