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

Paul King resolved GROOVY-7905.
-------------------------------
       Resolution: Fixed
    Fix Version/s: 2.5.0-beta-1

Proposed PR merged.

> ListWithDefault DGM methods aren't type inference friendly
> ----------------------------------------------------------
>
>                 Key: GROOVY-7905
>                 URL: https://issues.apache.org/jira/browse/GROOVY-7905
>             Project: Groovy
>          Issue Type: Improvement
>            Reporter: Paul King
>            Assignee: Paul King
>             Fix For: 2.5.0-beta-1
>
>
> For the following script:
> {code}
> @groovy.transform.CompileStatic
> def method() {
>     def list = [].withDefault{ it.longValue() }
>     list[0] = list[3]
>     assert list[0] == 3 && list[0].class == Long
> }
> method()
> {code}
> The list access call {{list[3]}} doesn't funnel through the 
> {{ListWithDefault.getAt(int)}} method but instead the {{DGM.getAt(List, 
> int)}} method since {{List}} is the inferred type. The {{withDefault}} 
> methods could instead return the more specific type and then the correct type 
> will be inferred and the expected behavior is observed.



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)

Reply via email to