[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.
Regards,
Mahmood
More information about the checkers
mailing list