[GROOVY-10576] STC: map putAll fails to match "?" to "Object"

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.5.17, 3.0.11, 4.0.2
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 08/Apr/22 15:21
• Updated: 23/Jul/22 16:27
• Resolved: 08/Apr/22 17:15

Description

Consider the following:

@groovy.transform.TypeChecked
class C {
  Map<String,Object> map
  void test(Map<? extends String, ?> m) {
    map.putAll(m)
  }
}

javac allows putAll in this situation. groovyc emits an error: Cannot call java.util.Map#putAll(java.util.Map<? extends java.lang.String, ? extends java.lang.Object>) with arguments [java.util.Map<? extends java.lang.String, ?>]

Issue Links

• is related to: GROOVY-6095 Static checker fails on correct code
• is related to: GROOVY-9338 STC: no error for incorrect bounds match
• is related to: GROOVY-10267 STC reports wrong message when encoutering wildcard types