From f910bb09a2f627904976caa525671d19b47affe3 Mon Sep 17 00:00:00 2001
From: Chris Povirk <cpovirk@google.com>
Date: Fri, 16 Sep 2022 13:02:33 -0400
Subject: [PATCH] Recognize `org.jspecify.nullness.NonNull`.

See https://github.com/jspecify/jspecify/commit/80c288776ea84af78bf9ae5f254d72ab5514d16e

This commit implements the main part of
https://github.com/jspecify/nullness-checker-for-checker-framework/issues/17,
but we'll still want samples / conformance tests to check that it
successfully did so!
---
 .../jspecify/nullness/NullSpecAnnotatedTypeFactory.java      | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/main/java/com/google/jspecify/nullness/NullSpecAnnotatedTypeFactory.java b/src/main/java/com/google/jspecify/nullness/NullSpecAnnotatedTypeFactory.java
index 15dc923..e89566f 100644
--- a/src/main/java/com/google/jspecify/nullness/NullSpecAnnotatedTypeFactory.java
+++ b/src/main/java/com/google/jspecify/nullness/NullSpecAnnotatedTypeFactory.java
@@ -1949,10 +1949,6 @@ private enum Present {
                 "reactor.util.annotation.Nullable",
               }));
 
-  /*
-   * We haven't settled how much we support/encourage/discourage @NonNull annotations. But it
-   * would be shame to throw information away, so we recognize them.
-   */
   private static final List<String> NOT_NULL_ANNOTATIONS =
       unmodifiableList(
           asList(
@@ -1980,6 +1976,7 @@ private enum Present {
                 "org.eclipse.jgit.annotations.NonNull",
                 "org.eclipse.lsp4j.jsonrpc.validation.NonNull",
                 "org.jetbrains.annotations.NotNull",
+                "org.jspecify.nullness.NonNull",
                 "reactor.util.annotation.NonNull",
               }));
 }