[ 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)