The API currently assumes that a type is either unannotated or has only one type annotation. This makes it impossible to use two overlay type systems simultaneously for the same code. We should support this either by making AnnotatedType keep a list of annotations rather than a single string, or by replacing AnnotationOf and friends with something like AnnotatonSet and HasAnnotation, which would collect all annotations in a hierarchy of AnnotatedTypes. (Probably the latter.)
The API currently assumes that a type is either unannotated or has only one type annotation. This makes it impossible to use two overlay type systems simultaneously for the same code. We should support this either by making
AnnotatedTypekeep a list of annotations rather than a single string, or by replacingAnnotationOfand friends with something likeAnnotatonSetandHasAnnotation, which would collect all annotations in a hierarchy ofAnnotatedTypes. (Probably the latter.)