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

jspecify · Feb 27, 2024 · 8eb4ab8 · 8eb4ab8
1 parent d9e96d0
commit 8eb4ab8
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;