GROOVY-9968

groovy · Mar 6, 2021 · 26b4c8e · 26b4c8e
1 parent e6dfebc
commit 26b4c8e
Show file tree

Hide file tree

Showing 4 changed files with 40 additions and 0 deletions.
diff --git a/...ovy.core.tests.compiler/src/org/eclipse/jdt/groovy/core/tests/xform/TypeCheckedTests.java b/...ovy.core.tests.compiler/src/org/eclipse/jdt/groovy/core/tests/xform/TypeCheckedTests.java
@@ -1090,4 +1090,29 @@ public void testTypeChecked9963() {
 
         runConformTest(sources, "x");
     }
+
+    @Test
+    public void testTypeChecked9968() {
+        //@formatter:off
+        String[] sources = {
+            "Main.groovy",
+            "import groovy.transform.*\n" +
+            "@Canonical class Pogo { String prop }\n" +
+            "@Canonical class IterableType<T extends Pogo> implements Iterable<T> {\n" +
+            "  Iterator<T> iterator() {\n" +
+            "    list.iterator()\n" +
+            "  }\n" +
+            "  List<T> list\n" +
+            "}\n" +
+            "@TypeChecked void test() {\n" +
+            "  def iterable = new IterableType([new Pogo('x'), new Pogo('y'), new Pogo('z')])\n" +
+            "  print iterable.collect { Pogo p -> p.prop }\n" +
+            "  print iterable.collect { it.prop }\n" +
+            "}\n" +
+            "test()\n",
+        };
+        //@formatter:on
+
+        runConformTest(sources, "[x, y, z][x, y, z]");
+    }
 }
diff --git a/...rg.codehaus.groovy25/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java b/...rg.codehaus.groovy25/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java
@@ -3397,6 +3397,11 @@ private ClassNode[] resolveGenericsFromTypeHint(final ClassNode receiver, final
     private static ClassNode createUsableClassNodeFromGenericsType(final GenericsType genericsType) {
         ClassNode value = genericsType.getType();
         if (genericsType.isPlaceholder()) {
+            // GRECLIPSE add -- GROOVY-9968
+            if (value.isRedirectNode())
+                value = value.redirect();
+            else
+            // GRECLIPSE end
             value = OBJECT_TYPE;
         }
         ClassNode lowerBound = genericsType.getLowerBound();

diff --git a/...rg.codehaus.groovy30/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java b/...rg.codehaus.groovy30/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java
@@ -3210,6 +3210,11 @@ private ClassNode[] resolveGenericsFromTypeHint(final ClassNode receiver, final
     private static ClassNode createUsableClassNodeFromGenericsType(final GenericsType genericsType) {
         ClassNode value = genericsType.getType();
         if (genericsType.isPlaceholder()) {
+            // GRECLIPSE add -- GROOVY-9968
+            if (value.isRedirectNode())
+                value = value.redirect();
+            else
+            // GRECLIPSE end
             value = OBJECT_TYPE;
         }
         ClassNode lowerBound = genericsType.getLowerBound();

diff --git a/...rg.codehaus.groovy40/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java b/...rg.codehaus.groovy40/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java
@@ -3195,6 +3195,11 @@ private ClassNode[] resolveGenericsFromTypeHint(final ClassNode receiver, final
     private static ClassNode createUsableClassNodeFromGenericsType(final GenericsType genericsType) {
         ClassNode value = genericsType.getType();
         if (genericsType.isPlaceholder()) {
+            // GRECLIPSE add -- GROOVY-9968
+            if (value.isRedirectNode())
+                value = value.redirect();
+            else
+            // GRECLIPSE end
             value = OBJECT_TYPE;
         }
         ClassNode lowerBound = genericsType.getLowerBound();