[GROOVY-7905] ListWithDefault DGM methods aren't type inference friendly

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.5.0-alpha-1
• Assignee: Paul King
• Reporter: Paul King
• Created: 12/Aug/16 02:49
• Updated: 02/May/17 02:03
• Resolved: 18/Sep/16 10:17

Description

For the following script:

@groovy.transform.CompileStatic
def method() {
    def list = [].withDefault{ it.longValue() }
    list[0] = list[3]
    assert list[0] == 3 && list[0].class == Long
}

method()

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.

Issue Links

• links to: GitHub Pull Request #383