[Checkers] Q on Annotations on Type Parameters

[Mahmood Ali]

Greetings,

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?

Regards,
Mahmood