[GROOVY-8022] Plus assignment for unusual property

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 2.4.7
• Component/s: Static Type Checker
• Assignee: Unassigned
• Reporter: Daniil Ovchinnikov
• Created: 14/Dec/16 17:09
• Updated: 14/Dec/16 17:09

Description

class A {
    C plus(B b) {
        println "plus"
        new C()
    }
}

class B {}

class C {}

class Foo {
    A getProp() {
        println "get"
        new A()
    }

    void setProp(C c) {
        println "set"
    }
}

@CompileStatic
class Main {
    static void main(String[] args) {
        def foo = new Foo()
        foo.prop += new B()
    }
}

Correctly prints without @CompileStatic:

get
plus
set

With @CompileStatic fails with:

Error:(32, 9) Groovyc: 
[Static type checking] - Cannot assign value of type B to variable of type C