[GROOVY-10482] Incorrect inference of type argument of parameterized method call

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.5.17, 3.0.11, 4.0.2
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 15/Feb/22 02:40
• Updated: 23/Jul/22 16:23
• Resolved: 12/Mar/22 20:12

Description

Maybe related to GROOVY-10342

I have the following groovy program

class Foo<T> {
  Foo(T x) {}
}


class Main  {

  static <T> void bar() {
    new Foo<T>(baz());
  }

  static <Z> Z baz() {
    return null;
  }

}

Actual behaviour

The compiler rejects the code with

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 9: [Static type checking] - Cannot call Foo#<init>(T) with arguments [#Z]
 @ line 9, column 5.
       new Foo<T>(baz());
       ^

1 error

Expected behaviour

Compile successfully.

Tested against https://github.com/apache/groovy/commit/5601ea14304b67e71586b0196e38f90fa1a46f5b.