[Checkers] Yet another JSR 308 4.1 bug

Mahmood Ali mahmood at MIT.EDU
Sun Aug 10 23:25:38 EDT 2008

Hi Mike,

I found another bug in JSR308 4.1 spec.  It does not address  
annotations on enclosed types.

Consider the following type declaration (e.g. within a parameter):
     OuterType<@A String>.InnerType<@B String>.Test t

The specification doesn't specify how to differentiate between @A and  
@B target_type.

By the way, the compiler fails when parsing such types.


More information about the checkers mailing list