Use AnnotationMirrorSet and remove usage of Set<AnnotationMirror>#449

aosen-xiong wants to merge 5 commits into

opprop:masteropprop/checker-framework-inference:masterfrom

aosen-xiong:use-annotationmirrorsetaosen-xiong/checker-framework-inference:use-annotationmirrorsetCopy head branch name to clipboard