[GROOVY-10006] @CompileStatic fails to unify types - ASF JIRA

XML

Word

Printable

JSON

@CompileStatic
class A {
    static <U> void foo(U a, U b) {}

    static void main(String[] args) {
        foo(1, "")
    }
}

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.

is related to

GROOVY-5692 TypeChecked not checking generics placeholder types across arguments when a method has multiple arguments

Estimated:

Not Specified

Remaining:

Logged:

0.5h