[Checkers] Q on Annotations on Type Parameters

Michael Ernst mernst at cs.washington.edu
Sun Feb 8 18:05:00 EST 2009


> I have one more question regarding annotations on type parameters.   
> How should we deal with inconsistencies in recursive type declaration,  
> e.g.
>      class MyClass<@Immutable T extends MyClass<@Mutable T>> { ... }
> ?
> Should simply report an error?

Good question.

I think the best thing is to report an error, as you suggest.


More information about the checkers mailing list