Section 15.1.1 "Generics (parametric polymorphism or type polymorphism)" of
the Checker Framework manual claims that it is posible to write this
annotation:
@DefaultQualifier(value="Nullable", locations={DefaultLocation.UPPER_BOUNDS})
It may be possible to write it, but no support for it is implemented yet.
This needs to be implemented.
Original issue reported on code.google.com by michael.ernst@gmail.com on 5 Dec 2009 at 6:42
Original issue reported on code.google.com by
michael.ernst@gmail.com
on 5 Dec 2009 at 6:42