[GROOVY-5693] Unexpected behavior of CompileStatic when assigning a Closure to a new block code

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.0.1
• Fix Version/s: 2.0.4
• Component/s: Static compilation
• Environment: Windows 7
• Assignee: Cédric Champeau
• Reporter: Carlos Cortinhas
• Created: 07/Sep/12 14:48
• Updated: 21/Sep/12 16:58
• Resolved: 12/Sep/12 10:26

Description

@groovy.transform.CompileStatic
class Foo{
    def run(){
        Closure a ={
            int i ->
            println "First closure "+ i
        }
        Closure b ={
            String s ->
            println "Second closure "+ s
        }
        a=b
        a("Testing!")
    }
}
Foo f = new Foo()
f.run()

With CS applied the code will fail to compile with the following error:

[Static type checking] - Closure argument types: [int] do not match with parameter types: [java.lang.String]
at line: 13, column: 11

The compiler is expecting an integer but since the variable 'a' is re-assigned to a new piece of code that takes a String as a parameter this code should work