Hi David,
Our goal is to ensure that spurious AspectJ errors (ie- red squiggles
on valid code) are not seen at all (but this has to be weighed against
being to aggressive and ignoring actual errors). We have taken care
to ensure that the common uses of AspectJ syntax will not show red
squiggles in the editor, but more advanced uses of aspectj (such as
generic ITDs, especially those on interfaces) have been less well
tested.
There is no explicit documentation that describes what is working and
what is not, but there are a slew of test cases for this and the code
for this is well documented. At this point, if you are seeing
something in the editor being marked as a problem when the compiler
thinks it isn't, please let us know and we will address it as soon as
we can.
For the past little while, we have been waiting to hear from users
when they come across some of these spurious errors. And we fix them
as they come in. The best way to help me debug this is to send some
examples of failing code. You can raise a bug if you like, or you can
send it through this mailing list.
--a