[GROOVY-8090] Incorrectly processing method-level type generics information

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.8
• Fix Version/s: 3.0.0-alpha-4, 2.5.3
• Component/s: Static Type Checker
• Assignee: Daniel Sun
• Reporter: Paul King
• Created: 20/Feb/17 04:36
• Updated: 11/Apr/23 14:20
• Resolved: 26/Aug/18 08:37

Description

import static java.util.Arrays.asList

@groovy.transform.CompileStatic
class Main {
    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']
}

Issue Links

• relates to: GROOVY-11003 Cannot find method with variable arguments when using fully qualified class names
• links to: GitHub Pull Request #789