In the fromAnnotations method in comp/Attr.java, there is a silent failure condition when an annotation is visited prior to attribution, which was a source of several type annotations bugs. This should be turned into an assertion.