[GROOVY-11080] Static type checking regression with implicit generics of inline maps

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.12
• Fix Version/s: 4.0.13
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Luke Bemish
• Created: 05/Jun/23 22:10
• Updated: 23/Aug/23 09:05
• Resolved: 06/Jun/23 13:32

Description

In 4.0.12, generic types of inline map definitions are no longer correctly inferred in situations where they would be under 4.0.11. For instance, the following:

@CompileStatic
class TypeCheckingTest {
    static final Map<String, Map<String, String>> testMap = [:]

    static test() {
        testMap.put("test", [:])
    }
}

Fails to compile in 4.0.12, but compiles in 4.0.11. The error produced is:

10: [Static type checking] - Cannot find matching method java.util.Map#put(java.lang.String, java.util.LinkedHashMap<#K, #V>). Please check if the declared type is correct and if the method exists.
 @ line 10, column 9.
           testMap.put("test", [:])
           ^1 error 

Issue Links

• is caused by: GROOVY-11028 STC: empty map (or list) literal does not type check like emptyMap()