[GROOVY-10325] STC: error for map*.value assignment

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 4.0.0-beta-2, 3.0.20
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 22/Oct/21 14:50
• Updated: 12/Dec/23 16:28
• Resolved: 22/Oct/21 19:46

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  Map<String,Object> map = [foo:'bar']
  map*.value = 'baz' // Incompatible generic argument types. Cannot assign java.util.List<java.lang.String> to: java.util.List<java.lang.Object>
}

I believe this assignment should work since the RHS string is indeed an Object. Not sure if the LHS type should be List<? extends Object> or the RHS type should be List<? super String>.