From 9da102b5fb03b68fcd214e20e2cdaddad1affe6b Mon Sep 17 00:00:00 2001 From: matsu-chara Date: Thu, 20 Nov 2025 20:27:46 +0900 Subject: [PATCH] add jspecify NonNull annotation to NotNullAnnots list --- compiler/src/dotty/tools/dotc/core/Definitions.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/core/Definitions.scala b/compiler/src/dotty/tools/dotc/core/Definitions.scala index ce8af0801c3e..97d4a917fe37 100644 --- a/compiler/src/dotty/tools/dotc/core/Definitions.scala +++ b/compiler/src/dotty/tools/dotc/core/Definitions.scala @@ -1152,7 +1152,8 @@ class Definitions { "lombok.NonNull" :: "reactor.util.annotation.NonNull" :: "reactor.util.annotation.NonNullApi" :: - "io.reactivex.annotations.NonNull" :: Nil) + "io.reactivex.annotations.NonNull" :: + "org.jspecify.annotations.NonNull" :: Nil) // convenient one-parameter method types def methOfAny(tp: Type): MethodType = MethodType(List(AnyType), tp)