[GROOVY-6486] Type inference fails in @CompileStatic for collection iteration closure argument

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Duplicate
• Affects Version/s: 2.2.1
• Component/s: Static compilation
• Assignee: Cédric Champeau
• Reporter: Sean True
• Created: 13/Dec/13 08:48
• Updated: 04/Mar/14 16:31
• Resolved: 13/Dec/13 09:06

Description

@CompileStatic
class CompileStaticTest
{
  void requiresString(String s)
  {
    println(s)
  }
  void showsError()
  {
    List<String> ls = ["a", "b"]
    ls.each {requiresString(it)}
  }
}

Yields compiler error:

Groovyc: [Static type checking] - Cannot find matching method com.<pathdeleted>.CompileStaticTest#requiresString(java.lang.Object). Please check if the declared type is right and if the method exists.

Issue Links

• depends upon: GROOVY-5924 Provide a mechanism to allow the type checker to know what are the expected argument types of a closure