[GROOVY-11028] STC: empty map (or list) literal does not type check like emptyMap()

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.12, 3.0.20
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 26/Apr/23 22:00
• Updated: 14/Dec/23 22:17
• Resolved: 27/Apr/23 17:48

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  List<Integer> list = [].withDefault { 0 }
    // Cannot assign ListWithDefault<? extends Object> to List<Integer>
  Map<String,Integer> map = [:].withDefault { 1 }
    // Cannot assign Map<Object, ? extends Object> to Map<String, Integer>
}

Issue Links

• causes: GROOVY-11057 STC Generic type matching failure
• causes: GROOVY-11080 Static type checking regression with implicit generics of inline maps
• is related to: GROOVY-10651 STC: closure parameter type inference for raw type that is iterable over type parameter