Fix for explicitly-typed lambda parameters in JDK 24+ (uber#1452)

This case worked before JDK 24 since somehow our code that looked at the
owner of a symbol found the annotation; for some reason it stopped
working. Looking at annotations on the `type` field of the symbol seems
to find what we need.

Fixes uber#1448 

<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->

## Summary by CodeRabbit

## Bug Fixes
* Enhanced nullability annotation detection to recognize type-use
annotations on symbol types, improving coverage for explicitly-annotated
lambda parameters that were previously undetected.

## Tests
* Added test coverage for enhanced annotation detection in generic
lambda scenarios.

<sub>✏️ Tip: You can customize this high-level summary in your review
settings.</sub>

<!-- end of auto-generated comment: release notes by coderabbit.ai -->

Author: msridhar

nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java

@@ -211,6 +211,13 @@ public static boolean hasAnyAnnotationMatching(
         return true;
       }
     }
+    // we need this loop over the type's annotation mirrors in cases like explicitly-annotated
+    // lambda parameters, possibly due to bugs in javac
+    for (AnnotationMirror annotationMirror : symbol.type.getAnnotationMirrors()) {
+      if (predicate.test(annotationMirror.getAnnotationType().toString())) {
+        return true;
+      }
+    }
     // to handle bytecodes, also check direct type-use annotations stored in attributes
     Symbol typeAnnotationOwner =
         symbol.getKind().equals(ElementKind.PARAMETER) ? symbol.owner : symbol;

nullaway/src/test/java/com/uber/nullaway/jspecify/GenericLambdaTests.java

@@ -133,6 +133,31 @@ void testNegative(Foo<String> foo) {
         .doTest();
   }
 
+  @Test
+  public void issue1448() {
+    makeHelper()
+        .addSourceLines(
+            "Test.java",
+            """
+            package org.example;
+
+            import org.jspecify.annotations.NullMarked;
+            import org.jspecify.annotations.Nullable;
+
+            @NullMarked
+            class Test {
+                interface Func<T> {
+                    void apply( @Nullable T t );
+                }
+
+                class Bar {
+                    Func<Integer> baz = ( @Nullable Integer i ) -> {};
+                }
+            }
+            """)
+        .doTest();
+  }
+
   private CompilationTestHelper makeHelper() {
     return makeTestHelperWithArgs(
         JSpecifyJavacConfig.withJSpecifyModeArgs(