GROOVY-10309, GROOVY-10315, GROOVY-10317

Author: eric-milles

base-test/org.eclipse.jdt.groovy.core.tests.compiler/src/org/eclipse/jdt/groovy/core/tests/xform/TypeCheckedTests.java

@@ -4215,6 +4215,79 @@ public void testTypeChecked10306() {
         runConformTest(sources, "1");
     }
 
+    @Test
+    public void testTypeChecked10309() {
+        //@formatter:off
+        String[] sources = {
+            "Main.groovy",
+            "@groovy.transform.TupleConstructor(defaults=false)\n" +
+            "class A<T,T2> {\n" +
+            "  T f1\n" +
+            "  T2 f2\n" +
+            "}\n" +
+            "class C<T,X> {\n" +
+            "  @groovy.transform.TypeChecked\n" +
+            "  void test() {\n" +
+            "    new A<X,T>((X)null, (T)null)\n" + // Cannot call A#<init>(X, T) with arguments [X, T]
+            "  }\n" +
+            "}\n" +
+            "new C().test()",
+        };
+        //@formatter:on
+
+        runConformTest(sources);
+    }
+
+    @Test
+    public void testTypeChecked10315() {
+        for (String args : new String[] {"m2(), c.m()", "c.m(), m2()"}) {
+            //@formatter:off
+            String[] sources = {
+                "Main.groovy",
+                "class C<T> {\n" +
+                "  def T m() {\n" +
+                "  }\n" +
+                "}\n" +
+                "def <X> X m2() {\n" +
+                "}\n" +
+                "def <Y> void m3(Y y1, Y y2) {\n" +
+                "}\n" +
+                "@groovy.transform.TypeChecked\n" +
+                "def <Z> void test(C<Z> c) {\n" +
+                "  m3(" + args + ")\n" +
+                "}\n",
+            };
+            //@formatter:on
+
+            runConformTest(sources);
+        }
+    }
+
+    @Test
+    public void testTypeChecked10317() {
+        //@formatter:off
+        String[] sources = {
+            "Main.groovy",
+            "class A<T1,T2> {\n" +
+            "  @groovy.transform.TypeChecked\n" +
+            "  void test(T2 t2) {\n" +
+            "    def a = new A<T2,T2>()\n" +
+            "    a.foo(new B().bar(t2))\n" + // Cannot call A#foo(T2) with arguments [#X]
+            "  }\n" +
+            "  void foo(T1 t1) {\n" +
+            "  }\n" +
+            "}\n" +
+            "class B {\n" +
+            "  def <X,Y> X bar(Y y) {\n" + // X is determined by target
+            "  }\n" +
+            "}\n" +
+            "new A<Object,Number>().test(42)\n",
+        };
+        //@formatter:on
+
+        runConformTest(sources);
+    }
+
     @Test
     public void testTypeChecked10320() {
         //@formatter:off

base/org.codehaus.groovy30/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingSupport.java

@@ -1719,8 +1719,15 @@ static void applyGenericsConnections(final Map<GenericsTypeName, GenericsType> c
                     GenericsTypeName name = new GenericsTypeName(oldValue.getName());
                     GenericsType newValue = connections.get(name); // find "V" in T=V
                     if (newValue == oldValue) continue;
-                    // GRECLIPSE add -- GROOVY-10067
-                    if (name.getName().charAt(0) == '#') continue;
+                    // GRECLIPSE add -- GROOVY-10067, GROOVY-10315
+                    if (newValue == null) {
+                        newValue = connections.get(entry.getKey());
+                        if (newValue != null) {
+                            ClassNode o = GenericsUtils.makeClassSafe0(CLASS_Type, oldValue),
+                                      n = GenericsUtils.makeClassSafe0(CLASS_Type, newValue);
+                            newValue = WideningCategories.lowestUpperBound(o,n).getGenericsTypes()[0];
+                        }
+                    }
                     // GRECLIPSE end
                     if (newValue == null) {
                         entry.setValue(newValue = applyGenericsContext(connections, oldValue));

base/org.codehaus.groovy40/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingSupport.java

@@ -77,6 +77,7 @@
 import static org.apache.groovy.ast.tools.ExpressionUtils.isNullConstant;
 import static org.codehaus.groovy.ast.ClassHelper.BigInteger_TYPE;
 import static org.codehaus.groovy.ast.ClassHelper.Byte_TYPE;
+import static org.codehaus.groovy.ast.ClassHelper.CLASS_Type;
 import static org.codehaus.groovy.ast.ClassHelper.CLOSURE_TYPE;
 import static org.codehaus.groovy.ast.ClassHelper.COLLECTION_TYPE;
 import static org.codehaus.groovy.ast.ClassHelper.Character_TYPE;
@@ -118,6 +119,7 @@
 import static org.codehaus.groovy.ast.ClassHelper.makeWithoutCaching;
 import static org.codehaus.groovy.ast.ClassHelper.short_TYPE;
 import static org.codehaus.groovy.ast.ClassHelper.void_WRAPPER_TYPE;
+import static org.codehaus.groovy.ast.tools.GenericsUtils.makeClassSafe0;
 import static org.codehaus.groovy.ast.tools.WideningCategories.isBigIntCategory;
 import static org.codehaus.groovy.ast.tools.WideningCategories.isFloatingCategory;
 import static org.codehaus.groovy.ast.tools.WideningCategories.isNumberCategory;
@@ -1607,9 +1609,17 @@ static void applyGenericsConnections(final Map<GenericsTypeName, GenericsType> c
                 if (oldValue.isPlaceholder()) { // T=T or V, not T=String or ? ...
                     GenericsTypeName name = new GenericsTypeName(oldValue.getName());
                     GenericsType newValue = connections.get(name); // find "V" in T=V
-                    if (newValue == oldValue || name.getName().charAt(0) == '#') continue;
+                    if (newValue == oldValue) continue;
                     if (newValue == null) {
-                        entry.setValue(newValue = applyGenericsContext(connections, oldValue));
+                        newValue = connections.get(entry.getKey());
+                        if (newValue != null) { // GROOVY-10315, GROOVY-10317
+                            ClassNode o = makeClassSafe0(CLASS_Type, oldValue),
+                                      n = makeClassSafe0(CLASS_Type, newValue);
+                            newValue = lowestUpperBound(o,n).getGenericsTypes()[0];
+                        }
+                    }
+                    if (newValue == null) {
+                        entry.setValue(newValue = applyGenericsContext(connections, oldValue)); 
                         if (!checkForMorePlaceholders) {
                             checkForMorePlaceholders = !equalIncludingGenerics(oldValue, newValue);
                         }