From b99c656e03e85eaa2a09e91de71d2a3b598501f5 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Mon, 20 Nov 2023 19:10:14 -0500
Subject: [PATCH] undo the hack to see what is happening

---
 .../org/checkerframework/framework/util/AnnotatedTypes.java   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java b/framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
index c756feffb1e..4bdbe8c2121 100644
--- a/framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
+++ b/framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
@@ -251,8 +251,8 @@ private static AnnotatedTypeMirror asOuterSuper(
             }
             if (enclosingType == null) {
                 // TODO: work around a failure in guava that happens without this hack.
-                // throw new BugInCF("Enclosing type not found %s %s", dt, superType);
-                return superType;
+                throw new BugInCF("Enclosing type not found %s %s", dt, superType);
+                //                return superType;
             }
             return asSuper(atypeFactory, dt, superType);
         }