groovy

Static type checker incorrectly handles assignments of variables used as parameters in control structures

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Fixed
  • Affects Version/s: 2.0-beta-2
  • Fix Version/s: 2.0-beta-3
  • Component/s: None
  • Labels:
    None
  • Number of attachments :
    0

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).

Activity

There are no comments yet on this issue.

People

  • Assignee:
    Cedric Champeau
    Reporter:
    Cedric Champeau
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: