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

Eric Milles updated GROOVY-10036:
---------------------------------
    Fix Version/s: 3.0.9

> STC: unresolved generics for return type of extension method call with full 
> type arguments
> ------------------------------------------------------------------------------------------
>
>                 Key: GROOVY-10036
>                 URL: https://issues.apache.org/jira/browse/GROOVY-10036
>             Project: Groovy
>          Issue Type: Improvement
>          Components: Static Type Checker
>    Affects Versions: 2.5.14, 3.0.7, 4.0.0-alpha-3
>            Reporter: Eric Milles
>            Assignee: Eric Milles
>            Priority: Minor
>             Fix For: 4.0.0-beta-1, 3.0.9
>
>          Time Spent: 0.5h
>  Remaining Estimate: 0h
>
> Consider the following:
> {code:groovy}
> @groovy.transform.TypeChecked
> void test() {
>   def list = ['x','y']
>   def map = list.<String,Object,String>collectEntries { [it, it.length()] }
> }
> {code}
> The type checker infers {{Map<K,V>}} for the type of "map" even though all 
> type arguments are provided to "collectEntries".
> {code:java}
>     public static <K,V,E> Map<K, V> collectEntries(Iterable<E> self, 
> @ClosureParams(FirstParam.FirstGenericType.class) Closure<?> transform)
> {code}



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

Reply via email to