Handle annotations in TypeFromExpressionVisitor; fixes #5435

checker/tests/tainting/Issue5435.java

@@ -0,0 +1,7 @@
+class Issue5435 {
+  public @interface A1 {}
+
+  public @interface A2 {
+    A1[] m() default {@A1()};
+  }
+}

framework/src/main/java/org/checkerframework/framework/type/TypeFromExpressionVisitor.java

@@ -1,6 +1,7 @@
 package org.checkerframework.framework.type;
 
 import com.sun.source.tree.AnnotatedTypeTree;
+import com.sun.source.tree.AnnotationTree;
 import com.sun.source.tree.ArrayAccessTree;
 import com.sun.source.tree.ArrayTypeTree;
 import com.sun.source.tree.AssignmentTree;
@@ -74,6 +75,11 @@
  */
 class TypeFromExpressionVisitor extends TypeFromTreeVisitor {
 
+  @Override
+  public AnnotatedTypeMirror visitAnnotation(AnnotationTree node, AnnotatedTypeFactory f) {
+    return f.type(node);
+  }
+
   @Override
   public AnnotatedTypeMirror visitBinary(BinaryTree node, AnnotatedTypeFactory f) {
     return f.type(node);

framework/src/main/java/org/checkerframework/framework/type/TypeFromTreeVisitor.java

@@ -27,6 +27,8 @@ public AnnotatedTypeMirror defaultAction(Tree node, AnnotatedTypeFactory f) {
       throw new BugInCF("TypeFromTree.defaultAction: null tree");
     }
     throw new BugInCF(
-        "TypeFromTree.defaultAction: conversion undefined for tree type " + node.getKind());
+        this.getClass().getCanonicalName()
+            + ": conversion undefined for tree type "
+            + node.getKind());
   }
 }