[GROOVY-5258] Static type checker incorrectly handles assignments of variables used as parameters in control structures

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-beta-2
• Fix Version/s: 2.0-beta-3
• Assignee: Cédric Champeau
• Reporter: Cédric Champeau
• Created: 23/Jan/12 07:37
• Updated: 13/May/12 03:30
• Resolved: 23/Jan/12 07:44

Description

Imagine the following code:

Double foo(Integer x) { x+1 }
Integer foo(Double x) { x+1 }
def x = 0
for (int i=0;i<10;i++) {
   // there are two possible target methods. This is not a problem for STC, but it is for static compilation
   x = foo(x)
}

The type checker should not allow this to compile. There are more cases (even more complex) like this in the patch (groovy.transform.stc.LoopsSTCTest).