Use correct error message and remove targetlocation

eisop · Nov 22, 2024 · f689022 · f689022
1 parent c014b09
commit f689022
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java
@@ -15,5 +15,4 @@
 @SubtypeOf({TemplateforaUnknown.class})
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
 public @interface TemplateforaBottom {}
diff --git a/tests/templatefora/SubtypingTest.java b/tests/templatefora/SubtypingTest.java
@@ -5,7 +5,7 @@ class SubtypeTest {
   void allSubtypingRelationships(@TemplateforaUnknown int x, @TemplateforaBottom int y) {
     @TemplateforaUnknown int a = x;
     @TemplateforaUnknown int b = y;
-    // :: error: assignment
+    // :: error: (assignment.type.incompatible)
     @TemplateforaBottom int c = x; // expected error on this line
     @TemplateforaBottom int d = y;
   }