Mahmood-
> In the Checker Framework, is the representation of an unqualified type the
> @Unqualified annotation, or the lack of a type qualifier?
Or, is it "null" as a value for an AnnotationMirror? That's what
QualifierHierarchy.wrapCollection does, but I don't understand which
representation needs to be used where.
-Mike