[GROOVY-10795] Regression: Returning List/Map created via literal as typed generic

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Information Provided
• Affects Version/s: 3.0.11, 3.0.13, 4.0.6
• Component/s: Static compilation, Static Type Checker
• Flags: Important
• Assignee: Eric Milles
• Reporter: Jochen Eddelbuettel
• Created: 24/Oct/22 17:23
• Updated: 10/Feb/23 21:40
• Resolved: 25/Oct/22 18:09

Description

This script 

@groovy.transform.CompileStatic
List<String> foo() {
    def list = [ ]
    list << "xyz"
    return list
}

produces

startup failed:
C:\Projects\Gradle\DARWin\DARWinTester\DARWin\src\TestScript.groovy: 5: [Static type checking] - Incompatible generic argument types. Cannot assign java.util.List <java.lang.Object> to: java.util.List <String>
 @ line 5, column 12.
       return list

 

The same code worked fine in 3.0.5 and 3.0.8.

It last worked in 3.0.10. Version 4.0.6 produces the same error.