Avoid crash in AnnotatedTypeMirror.fromExpression; fixes typetools#…

…5323
mernst · Sep 19, 2022 · 9e11003 · 9e11003
1 parent c245a6f
commit 9e11003
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
@@ -1985,7 +1985,7 @@ public AnnotatedNullType getAnnotatedNullType(Set<? extends AnnotationMirror> an
     }
     // An implicit receiver is the first enclosing type that is a subtype of the type where the
     // element is declared.
-    while (!isSubtype(thisType.getUnderlyingType(), typeOfImplicitReceiver)) {
+    while (thisType != null && !isSubtype(thisType.getUnderlyingType(), typeOfImplicitReceiver)) {
       thisType = thisType.getEnclosingType();
     }
     return thisType;