[Checkers] <@ReadOnly Object> generic type (fwd)
mpapi at csail.mit.edu
Tue Mar 25 23:31:53 EDT 2008
>> 1. Check on BaseTypeVisitor if the upper bound is Object, and if so,
>> do not
>> call commonAssignmentCheck
> For the short term, I think we could implement this approach.
> I made a variant of the proposed test where it tests whether there are
> any annotations on object in addition to checking whether the
> upperbound is an object or not (note TypesUtils.isObject() and
Though I had objected in my email a few moments ago, your amendment
(checking for annotations first) makes it a good short-term solution.
More information about the checkers