[
https://issues.apache.org/jira/browse/GROOVY-9844?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Christopher Smith updated GROOVY-9844:
--------------------------------------
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.
{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.
was:
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}
> 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)
