Don't visit null (typetools#6933)

mernst · Dec 18, 2024 · af87b07 · af87b07
1 parent 0304c3c
commit af87b07
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...work/src/main/java/org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java b/...work/src/main/java/org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java
@@ -390,8 +390,9 @@ public String visitArray(AnnotatedArrayType type, Set<AnnotatedTypeMirror> visit
         if (!(component instanceof AnnotatedArrayType)) {
           if (component == null) {
             sb.insert(0, "/*Not Initialized*/");
+          } else {
+            sb.insert(0, visit(component, visiting));
           }
-          sb.insert(0, visit(component, visiting));
           break;
         }
         array = (AnnotatedArrayType) component;