[GROOVY-9945] STC: Cannot find matching method when using Generics

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.0-alpha-2
• Fix Version/s: 4.0.0-alpha-3, 3.0.9, 2.5.16
• Component/s: Static compilation, Static Type Checker
• Assignee: Eric Milles
• Reporter: Stefanos Chaliasos
• Created: 16/Feb/21 07:08
• Updated: 01/Mar/22 20:05
• Resolved: 02/Mar/21 15:00

Description

I have the following Groovy program.

interface I1<X, Y> {}

interface I2 extends I1<Character, Character> {}

class Foo<X, Y> implements I2 {
  public void foo(X x, Y y) {}
}

class Bar<X, Y> extends Foo<X, Y> {}

@groovy.transform.TypeChecked
class Main {
  public static void foo() {
    new Bar<Float, Integer>().foo((Float) 1.4, -1)
  }
}

Actual Behavior

The program does not compile, and I get the following error.

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
Main.groovy: 14: [Static type checking] - Cannot find matching method Bar#foo(java.lang.Float, java.lang.Integer). Please check if the declared type is correct and if the method exists.
 @ line 14, column 5.
       new Bar<Float, Integer>().foo((Float) 1.4, -1)
       ^

1 error

Expected Behavior

Compile successfully.