[jira] [Commented] (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:comment-tabpanel&focusedCommentId=17242584#comment-17242584 ] 

Eric Milles commented on GROOVY-9844:
-------------------------------------

If you had {{consume(Map<String, ? extends Object>)}} there should be no error.  Otherwise, the compiler infers the type of the map expression only from the map keys/values and not on the target.  I believe this is the case as well for {{Map<X,Y> map = [a:1,b:2]}}.

> 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
>            Priority: Minor
>
> 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)