@NonNullByDefault does not work for type arguments of a local type

fixes eclipse-jdt#1693
stephan-herrmann · Dec 5, 2023 · 27730ac · 27730ac
1 parent dc8021b
commit 27730ac
Show file tree

Hide file tree

Showing 2 changed files with 76 additions and 0 deletions.
diff --git a/...ipse.jdt.core.compiler.batch/src/org/eclipse/jdt/internal/compiler/lookup/ClassScope.java b/...ipse.jdt.core.compiler.batch/src/org/eclipse/jdt/internal/compiler/lookup/ClassScope.java
@@ -33,6 +33,7 @@
 package org.eclipse.jdt.internal.compiler.lookup;
 
 import java.util.ArrayList;
+import java.util.Collections;
 import java.util.HashMap;
 import java.util.Iterator;
 import java.util.LinkedHashSet;
@@ -373,6 +374,7 @@ void buildLocalTypeBinding(SourceTypeBinding enclosingType) {
 			checkParameterizedTypeBounds();
 			checkParameterizedSuperTypeCollisions();
 		}
+		this.referenceContext.updateSupertypesWithAnnotations(Collections.emptyMap());
 		buildFieldsAndMethods();
 		localType.faultInTypesForFieldsAndMethods();
 

diff --git a/...s.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullTypeAnnotationTest.java b/...s.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullTypeAnnotationTest.java
@@ -19132,4 +19132,78 @@ void foo(String... strings) {
 	runner.classLibraries = this.LIBS;
 	runner.runConformTest();
 }
+public void testGH1693_a() {
+	Runner runner = new Runner();
+	runner.testFiles = new String[] {
+		"X.java",
+		"""
+		import java.util.Iterator;
+		import org.eclipse.jdt.annotation.NonNullByDefault;
+
+		@NonNullByDefault
+		public class X {
+			Iterator<String> getProcessIterator() {
+				abstract class StringIterator implements Iterator<String> { }
+				return new StringIterator() {
+					@Override
+					public boolean hasNext() {
+						return false;
+					}
+					@Override
+					public String next() {
+						return null;
+					}
+				};
+			}
+		}
+		"""
+	};
+	runner.customOptions = getCompilerOptions();
+	runner.classLibraries = this.LIBS;
+	runner.expectedCompilerLog =
+			"----------\n" +
+			"1. ERROR in X.java (at line 15)\n" +
+			"	return null;\n" +
+			"	       ^^^^\n" +
+			"Null type mismatch: required \'@NonNull String\' but the provided value is null\n" +
+			"----------\n";
+	runner.runNegativeTest();
+}
+public void testGH1693_b() {
+	Runner runner = new Runner();
+	runner.testFiles = new String[] {
+		"X.java",
+		"""
+		import java.util.Iterator;
+		import org.eclipse.jdt.annotation.NonNullByDefault;
+
+		@NonNullByDefault
+		public class X {
+			Iterator<String> getProcessIterator() {
+				class StringIterator implements Iterator<String> {
+					@Override
+					public boolean hasNext() {
+						return false;
+					}
+					@Override
+					public String next() {
+						return null;
+					}
+				}
+				return new StringIterator();
+			}
+		}
+		"""
+	};
+	runner.customOptions = getCompilerOptions();
+	runner.classLibraries = this.LIBS;
+	runner.expectedCompilerLog =
+			"----------\n" +
+			"1. ERROR in X.java (at line 14)\n" +
+			"	return null;\n" +
+			"	       ^^^^\n" +
+			"Null type mismatch: required \'@NonNull String\' but the provided value is null\n" +
+			"----------\n";
+	runner.runNegativeTest();
+}
 }