From c821c02ae6d9a09ecadc380009a94b044e0d9b86 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Wed, 11 Jun 2025 00:57:39 -0400
Subject: [PATCH] Fail fast for ErroneousTree

---
 .../framework/type/TypeFromTypeTreeVisitor.java             | 6 ++++++
 1 file changed, 6 insertions(+)

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);
+    }
 }