[GROOVY-9343] Variable type is not updated in operator assignment

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 2.5.8
• Component/s: Static Type Checker
• Assignee: Unassigned
• Reporter: Daniil Ovchinnikov
• Created: 19/Dec/19 13:51
• Updated: 19/Dec/19 13:51

Description

class A { B plus(x) { new B() } }
class B { def foo() {42} }

@groovy.transform.CompileStatic
def cs() {
    def var
    var = new A()
    var = var + 1
    var.foo()
}

assert cs() == 42

@groovy.transform.CompileStatic
def cs2() {
    def var
    var = new A()
    var += 1 
    var.foo() // Cannot find matching method A#foo()
}

assert cs2() == 42