From 8eb4ab8280e373c6ec97914a0f1fcf1a62a9e32f Mon Sep 17 00:00:00 2001
From: Werner Dietl <wdietl@gmail.com>
Date: Mon, 26 Feb 2024 21:14:41 -0500
Subject: [PATCH] Map `type.invalid.super.wildcard` as an expected error (#166)

---
 src/test/java/tests/NullSpecTest.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/java/tests/NullSpecTest.java b/src/test/java/tests/NullSpecTest.java
index 9170765..500e6f4 100644
--- 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;