[ 
https://issues.apache.org/jira/browse/GROOVY-8157?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Shil Sinha resolved GROOVY-8157.
--------------------------------
       Resolution: Fixed
         Assignee: Shil Sinha
    Fix Version/s: 2.4.12

> Flow typing doesn't work with assignment to a parameter
> -------------------------------------------------------
>
>                 Key: GROOVY-8157
>                 URL: https://issues.apache.org/jira/browse/GROOVY-8157
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>    Affects Versions: 2.4.10
>            Reporter: Daniil Ovchinnikov
>            Assignee: Shil Sinha
>             Fix For: 2.4.12
>
>
> {code}
> import groovy.transform.CompileStatic
> class A {}
> class B extends A { def bbb() {} }
> @CompileStatic
> def fooLocalAssignment() {
>     A a = new B()
>     a.bbb()
> }
> @CompileStatic
> def fooParameterAssignment(A a) {
>     a = new B() 
>     a.bbb() // Cannot find matching method A#bbb()
> }
> {code}



--
This message was sent by Atlassian JIRA
(v6.3.15#6346)

Reply via email to