Repro for b/227521723

PiperOrigin-RevId: 438529381
google · Apr 17, 2023 · 654d672 · 654d672
1 parent d6d8a34
commit 654d672
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/...oogle/errorprone/bugpatterns/collectionincompatibletype/IncompatibleArgumentTypeTest.java b/...oogle/errorprone/bugpatterns/collectionincompatibletype/IncompatibleArgumentTypeTest.java
@@ -47,4 +47,25 @@ public void multimapIntegration() {
   public void intersectionTypes() {
     compilationHelper.addSourceFile("IncompatibleArgumentTypeIntersectionTypes.java").doTest();
   }
+
+  @Test
+  public void typeWithinLambda() {
+    compilationHelper
+        .addSourceLines(
+            "Test.java",
+            "import com.google.common.collect.ImmutableList;",
+            "import com.google.errorprone.annotations.CompatibleWith;",
+            "import java.util.Map;",
+            "import java.util.Optional;",
+            "abstract class Test {",
+            "  abstract <K, V> Optional<V> getOrEmpty(Map<K, V> map, @CompatibleWith(\"K\") Object"
+                + " key);",
+            "  void test(Map<Long, String> map, ImmutableList<Long> xs) {",
+            "    // BUG: Diagnostic contains:",
+            "    getOrEmpty(map, xs);",
+            "    Optional<String> x = Optional.empty().flatMap(k -> getOrEmpty(map, xs));",
+            "  }",
+            "}")
+        .doTest();
+  }
 }