[GROOVY-10632] Unable to infer type parameter of recursive method

• Type: Bug
• Status: Open
• Priority: Minor
• Resolution: Unresolved
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 20/May/22 10:47
• Updated: 15/Apr/23 16:25

Description

I have the following program

class A<T> {}

class B<T extends A<String>> {
  B(T x) {}
}

class Test {
  <T extends A<String>> T test() {
    new B<T>(test());
    return null;
  }

}

Actual behavior

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

1 error

Expected behavior

Compile successfully

Tested against master (commit: a976ecdee1f17f7fafc55767de2d857c44d44697)