Examples: + *
{@code
+ * Returns true for annotation "org.jetbrains.annotations.NotNull"
+ * when typeElement represents: java.lang.@NotNull String
+ *
+ * Returns true for annotation "org.jetbrains.annotations.NotNull"
+ * when typeElement represents: @NotNull String
+ *
+ * Returns false for annotation "org.jetbrains.annotations.NotNull"
+ * when typeElement represents: @NotNull java.lang.String
+ *
+ * Returns true for annotation "org.jetbrains.annotations.Nullable"
+ * when typeElement represents: java.util.@Nullable List
+ * }
+ *
+ * @param typeElement The {@link PsiTypeElement} to inspect. This represents a type in Java source code,
+ * such as a method return type or a parameter type.
+ * @param annotation The fully qualified name of the annotation to search for.
+ * @return true if the annotation is found after the package qualifier in the type reference;
+ * false otherwise, or if the type element has no innermost component reference.
+ */
+ private static boolean hasAnnotationOnFirstNonPackageSubElement(PsiTypeElement typeElement, @NotNull String annotation) {
+ PsiJavaCodeReferenceElement reference = typeElement.getInnermostComponentReferenceElement();
+ if (reference == null) return false;
+ var leftMostResolvedQualifier = getLeftmostNonPackageElement(reference);
+ if (leftMostResolvedQualifier == null) return false;
+ return hasDirectAnnotation(leftMostResolvedQualifier, annotation);
+ }
+
+ private static @Nullable PsiElement getLeftmostNonPackageElement(@NotNull PsiJavaCodeReferenceElement reference) {
+ PsiJavaCodeReferenceElement qualifier =
+ reference.getQualifier() instanceof PsiJavaCodeReferenceElement referenceElement ? referenceElement : null;
+ if (qualifier != null) {
+ PsiElement result = getLeftmostNonPackageElement(qualifier);
+ if (result != null) return result;
+ }
+ PsiElement resolved = reference.resolve();
+ return resolved == null || resolved instanceof PsiPackage ? null : reference;
+ }
+
+ private static boolean hasDirectAnnotation(@NotNull PsiElement element, @NotNull String annotation) {
+ for (PsiElement child = element.getFirstChild(); child != null; child = child.getNextSibling()) {
+ if (child instanceof PsiAnnotation psiAnnotation && psiAnnotation.hasQualifiedName(annotation)) {
+ return true;
+ }
+ }
+ return false;
+ }
+
default void transferToTarget(String annotation, PsiModifierListOwner source, PsiModifierListOwner target) {
PsiModifierList modifierList = target.getModifierList();
assert modifierList != null : target;
diff --git a/java/java-tests/testData/codeInsight/overrideImplement/nullability/afterNestedTypeParameter.java b/java/java-tests/testData/codeInsight/overrideImplement/nullability/afterNestedTypeParameter.java
new file mode 100644
index 000000000000..c5df1d2f0825
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/overrideImplement/nullability/afterNestedTypeParameter.java
@@ -0,0 +1,21 @@
+package mypackage;
+
+import org.jetbrains.annotations.NotNull;
+
+class Outer {
+ static class Middle {
+ static class Nested {
+ }
+ }
+}
+
+interface Parent {
+ void test(@NotNull Outer.Middle.Nested nested);
+}
+
+class Child implements Parent {
+ @Override
+ public void test(@NotNull Outer.Middle.Nested nested) {
+
+ }
+}
diff --git a/java/java-tests/testData/codeInsight/overrideImplement/nullability/beforeNestedTypeParameter.java b/java/java-tests/testData/codeInsight/overrideImplement/nullability/beforeNestedTypeParameter.java
new file mode 100644
index 000000000000..c8f685d4bf51
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/overrideImplement/nullability/beforeNestedTypeParameter.java
@@ -0,0 +1,18 @@
+package mypackage;
+
+import org.jetbrains.annotations.NotNull;
+
+class Outer {
+ static class Middle {
+ static class Nested {
+ }
+ }
+}
+
+interface Parent {
+ void test(@NotNull Outer.Middle.Nested nested);
+}
+
+class Child implements Parent {
+