[GROOVY-9389] STC regression using increment/decrement operators on custom bean accessors in Groovy 3.0.0

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 3.0.0
• Fix Version/s: 4.0.0-alpha-1, 3.0.1
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Bjørn Mølgård Vester
• Created: 10/Feb/20 16:53
• Updated: 21/Feb/20 03:50
• Resolved: 12/Feb/20 04:42

Description

The following code works in Groovy 2.5.8 but fails compilation in 3.0.0:

@groovy.transform.CompileStatic
class MyProp {
    Integer myInt = 0
    Integer getMyInt() { return myInt }    // Custom getter
    void setMyInt(Integer i) { myInt = i } // Custom setter
}

@groovy.transform.CompileStatic
class BugInGroovy300 {
    static void main() {
        new MyProp().myInt++ // This line cannot compile in Groovy 3.0.0
    }
}

The error is:

[Static type checking] - Cannot find matching method java.lang.Object#next(). Please check if the declared type is correct and if the method exists.
 @ line 13, column 21.
           new MyProp().myInt++ // This line cannot compile in Groovy 3.0.0

If using the decrement operator (--), the type checker looks for a "#previous()" method instead.

The code works in 3.0.0 if using CompileDynamic instead. Relying on the generated accessor methods by Groovy also works.

 

Issue Links

• links to: GitHub Pull Request #1164