Expand diagnostics

mernst · Dec 12, 2024 · edfa7cb · edfa7cb
1 parent 6817421
commit edfa7cb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/type/AsSuperVisitor.java b/framework/src/main/java/org/checkerframework/framework/type/AsSuperVisitor.java
@@ -359,7 +359,9 @@ public AnnotatedTypeMirror visitDeclared_Intersection(
   public AnnotatedTypeMirror visitDeclared_Primitive(
       AnnotatedDeclaredType type, AnnotatedPrimitiveType superType, Void p) {
     if (!TypesUtils.isBoxedPrimitive(type.getUnderlyingType())) {
-      throw new BugInCF("AsSuperVisitor Declared_Primitive: type is not a boxed primitive.");
+      throw new BugInCF(
+          "AsSuperVisitor Declared_Primitive: type is not a boxed primitive: %s %s",
+          type, superType);
     }
     AnnotatedTypeMirror unboxedType = atypeFactory.getUnboxedType(type);
     return copyPrimaryAnnos(unboxedType, superType);