Paul King created GROOVY-8090:
---------------------------------
Summary: Incorrectly processing method-level type generics
information
Key: GROOVY-8090
URL: https://issues.apache.org/jira/browse/GROOVY-8090
Project: Groovy
Issue Type: Bug
Components: Static Type Checker
Affects Versions: 2.4.8
Reporter: Paul King
{code}
import static java.util.Arrays.asList
@groovy.transform.CompileStatic
class CSTest {
final <T> Iterable<T> foo(T instance) { asList(instance) }
// next line fails with: [Static type checking] - Cannot call <T>
java.util.Arrays#asList(T[]) with arguments [U]
final <U> Iterable<U> bar(U instance) { asList(instance) }
final Iterable<String> baz(String instance) { asList(instance) }
}
new Main().with {
assert foo('A') + bar('B') + baz('C') == ['A', 'B', 'C']
}
{code}
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)
