diff --git a/framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java b/framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java
index 0ba5ad3ca3be..7e94de42bc3c 100644
--- a/framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java
+++ b/framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java
@@ -3,6 +3,7 @@
 import com.sun.source.tree.AnnotatedTypeTree;
 import com.sun.source.tree.ArrayTypeTree;
 import com.sun.source.tree.ClassTree;
+import com.sun.source.tree.ErroneousTree;
 import com.sun.source.tree.ExpressionTree;
 import com.sun.source.tree.IdentifierTree;
 import com.sun.source.tree.IntersectionTypeTree;
@@ -381,4 +382,9 @@ public AnnotatedTypeMirror visitIntersectionType(
         type.copyIntersectionBoundAnnotations();
         return type;
     }
+
+    @Override
+    public AnnotatedTypeMirror visitErroneous(ErroneousTree tree, AnnotatedTypeFactory p) {
+        throw new BugInCF("ErroneousTree is unexpected in TypeFromTypeTreeVisitor: " + tree);
+    }
 }