Map type.invalid.super.wildcard as an expected error (#166)

jspecify · Apr 10, 2024 · 11a2980 · 11a2980
1 parent c8d5933
commit 11a2980
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/java/tests/NullSpecTest.java b/src/test/java/tests/NullSpecTest.java
@@ -207,6 +207,7 @@ private boolean corresponds(TestDiagnostic missing, DetailMessage unexpected) {
       case "jspecify_conflicting_annotations":
         switch (unexpected.messageKey) {
           case "type.invalid.conflicting.annos":
+          case "type.invalid.super.wildcard":
             return true;
           default:
             return false;