Konstantin Nisht created GROOVY-10006: -----------------------------------------
Summary: @CompileStatic fails to unify types Key: GROOVY-10006 URL: https://issues.apache.org/jira/browse/GROOVY-10006 Project: Groovy Issue Type: Bug Components: Static compilation, Static Type Checker Affects Versions: 3.0.6 Reporter: Konstantin Nisht {code:groovy} @CompileStatic class A { static <U> void foo(U a, U b) {} static void main(String[] args) { foo(1, "") } } {code} The following code fails to compile with error {{Groovyc: [Static type checking] - Cannot call <U> A#foo(U, U) with arguments [int, java.lang.String]}} {{U}} should be inferred to LUB(Integer, String), hence the call should be successful. -- This message was sent by Atlassian Jira (v8.3.4#803005)