[jira] [Created] (GROOVY-8090) Incorrectly processing method-level type generics information

["Paul King (JIRA)" <ji...@apache.org>]

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)