[Checkers] Q on Annotations on Type Parameters

[Michael Ernst]

Mahmood-

> 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.

                    -Mike