problem with all type annotations on method parameters

[Jonathan Gibbons]

On 01/02/2013 05:56 PM, Werner Dietl wrote:
> I can introduce this separation again.
> There are unfortunately no test cases for the annotations in Types. Is
> there a way we could test this, independently of javadoc?

It's high on my list, for variety of reasons, to have a "debug printer"
for ASTs.  We could use that as the basis for a series of tests to validate
the structure of the AST -- and semantic info like annotations -- at various
points through the compilation pipeline.

As for testing separately of javadoc, all we need to do is to validate 
the data
structures after Enter/MemberEnter.

It also seems to be that the problems would be visible during "regular" 
annotation
processing, which occurs before Attr has been called.

-- Jon