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

Ascending order - Click to sort in descending order
Cedric Champeau made changes -
Field Original Value New Value
Status Open [ 1 ] Resolved [ 5 ]
Resolution Fixed [ 1 ]
Paul King made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

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

Dates

  • Created:
    Updated:
    Resolved: