[jira] [Resolved] (GROOVY-9844) STC infers too-narrow bounds for inline map

["Eric Milles (Jira)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/GROOVY-9844?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Eric Milles resolved GROOVY-9844.
---------------------------------
    Fix Version/s: 4.0.0-alpha-3
       Resolution: Fixed

> STC infers too-narrow bounds for inline map
> -------------------------------------------
>
>                 Key: GROOVY-9844
>                 URL: https://issues.apache.org/jira/browse/GROOVY-9844
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>    Affects Versions: 3.0.6
>            Reporter: Christopher Smith
>            Assignee: Eric Milles
>            Priority: Minor
>             Fix For: 4.0.0-alpha-3
>
>
> 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.
> {code:groovy}
> void consume(Map<String, Object> map) {}
> void run() {
>   consume([key: 'value']) // compilation fails
> }
> {code}
> {code}
> Cannot call example#consume(java.util.Map <java.lang.String, java.lang.Object>) with arguments [java.util.LinkedHashMap <java.lang.String, java.lang.String>]
> {code}
> Explicitly causing the STC to "snap out of it" by adding {{as Map}} (no generics required) works.



--
This message was sent by Atlassian Jira
(v8.3.4#803005)