[GROOVY-9844] STC infers too-narrow bounds for inline map

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 3.0.6
• Fix Version/s: 4.0.0-alpha-3, 3.0.20
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Christopher Smith
• Created: 01/Dec/20 23:06
• Updated: 02/Dec/23 16:21
• Resolved: 31/Mar/21 01:10

Description

I thought this had been resolved, but I just ran into it again.

The static type checker always infers the strictest possible generic bounds for an inline map.

void consume(Map<String, Object> map) {}

void run() {
  consume([key: 'value']) // compilation fails
}

Cannot call example#consume(java.util.Map <java.lang.String, java.lang.Object>) with arguments [java.util.LinkedHashMap <java.lang.String, java.lang.String>]

Explicitly causing the STC to "snap out of it" by adding as Map (no generics required) works.