GROOVY-10234

eric-milles · eric-milles · commit 8328da8a6f0f · 2021-09-28T14:09:51.000-05:00
diff --git a/base-test/org.eclipse.jdt.groovy.core.tests.compiler/src/org/eclipse/jdt/groovy/core/tests/xform/TypeCheckedTests.java b/base-test/org.eclipse.jdt.groovy.core.tests.compiler/src/org/eclipse/jdt/groovy/core/tests/xform/TypeCheckedTests.java
@@ -3575,6 +3575,34 @@ public void testTypeChecked10225() {
         runConformTest(sources, "null");
     }
 
+    @Test
+    public void testTypeChecked10234() {
+        //@formatter:off
+        String[] sources = {
+            "Main.groovy",
+            "def <T> T getBean(Class<T> beanType) {\n" +
+            "  { obj, Class target -> Optional.of(obj.toString()) } as Service\n" +
+            "}\n" +
+            "@groovy.transform.TypeChecked\n" +
+            "void test() {\n" +
+            "  print getBean(Service).convert(new ArrayList(), String).get()\n" +
+            "}\n" +
+            "test()\n",
+
+            "Service.java",
+            "import java.util.Optional;\n" +
+            "import java.util.function.*;\n" +
+            "@SuppressWarnings(\"rawtypes\")" +
+            "public interface Service<Impl extends Service> {\n" +
+            "  <T> Optional<T> convert(Object object, Class<T> targetType);\n" +
+            "  <S, T> Impl addConverter(Class<S> sourceType, Class<T> targetType, Function<S, T> typeConverter);\n" +
+            "}\n",
+        };
+        //@formatter:on
+
+        runConformTest(sources, "[]");
+    }
+
     @Test
     public void testTypeChecked10235() {
         if (Float.parseFloat(System.getProperty("java.specification.version")) > 8)
