[GROOVY-9915] STC: call to static method fails with incompatible generics error

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.14, 3.0.7, 4.0.0-alpha-2
• Fix Version/s: 4.0.0-alpha-3, 3.0.9, 2.5.19
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 27/Jan/21 15:38
• Updated: 02/Sep/22 23:54
• Resolved: 02/Mar/21 15:06

Description

Consider the following:

@groovy.transform.CompileStatic
class C {
  void m() {
    init(Collections.emptyList())
  }
  private static void init(List<String> strings) {
    print strings
  }
}
new C().m()

Call to "init" is fails to match Collections.emptyList() to List<String>. If "init" is non-static, it works fine. Error displayed is:

Static type checking] - Cannot call C#init(java.util.List <java.lang.String>) with arguments [java.util.List <T extends java.lang.Object>]

Issue Links

• relates to: GROOVY-10745 Type not captured correctly (regression in 2.5.18)