recreated :caffeine:compileTestJava error

uber · Feb 4, 2025 · 4f4ca89 · 4f4ca89
1 parent 8a30816
commit 4f4ca89
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericMethodTests.java b/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericMethodTests.java
@@ -235,6 +235,24 @@ public void genericInferenceOnAssignmentsMultipleParams() {
         .doTest();
   }
 
+  @Test
+  public void genericsUsedForGenericClasses() {
+    makeHelper()
+      .addSourceLines(
+        "Test.java",
+        "package com.uber;",
+        "import java.util.ArrayList;",
+        "class Test {",
+        "  abstract class Foo<K, V> {",
+        "    abstract <K, V> Foo<K,ArrayList<V>> asFoo();",
+        "  }",
+        "  static void test(Foo<Void, Void> f) {",
+        "    Foo<Integer, ArrayList<String>> foo = f.asFoo();",
+        "  }",
+        "}")
+      .doTest();
+  }
+
   @Test
   public void issue1035() {
     makeHelper()