[GROOVY-8909] List literal type inference does not take its context into account

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.4
• Fix Version/s: 4.0.0-alpha-3, 3.0.20
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Daniil Ovchinnikov
• Created: 05/Dec/18 11:33
• Updated: 02/Dec/23 16:21
• Resolved: 31/Mar/21 01:10

Description

bug.groovy

def methodAcceptingListOfObjects(List<Object> lo) {}

@groovy.transform.CompileStatic
def usage() {
    methodAcceptingListOfObjects([1, 2, 3]) 
}

Compilation fails with

[Static type checking] - Cannot call #methodAcceptingListOfObjects(java.util.List <java.lang.Object>) with arguments [java.util.List <java.lang.Integer>]