[jira] [Updated] (GROOVY-7721) Static type checking fails when compiling against a Java8 interface with inherited methods

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

     [ https://issues.apache.org/jira/browse/GROOVY-7721?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Paul King updated GROOVY-7721:
------------------------------
    Fix Version/s:     (was: 2.4.x)
                   2.4.12

> Static type checking fails when compiling against a Java8 interface with inherited methods
> ------------------------------------------------------------------------------------------
>
>                 Key: GROOVY-7721
>                 URL: https://issues.apache.org/jira/browse/GROOVY-7721
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static compilation, Static Type Checker
>    Affects Versions: 2.4.0
>            Reporter: Peter Gromov
>            Assignee: Daniel Sun
>             Fix For: 2.4.12
>
>
> Create classes.java:
> {code}
> interface I {
>     R[] method();
> }
> interface I2 extends I {
>     R2[] method();
> }
> interface R {}
> interface R2 extends R {}
> {code}
> compile it with JDK 8 javac.
> Then create usage.groovy:
> {code}import groovy.transform.CompileStatic
> @CompileStatic
> class Gr {
>     R2[] x(I2 i) {
>        return i.method();
>     }
> }
> {code}
> Compile it with groovyc (also run with Java8) with the classes from previous compilation in the classpath. Compilation fails:
> {code}
> usage.groovy: 6: [Static type checking] - Reference to method is ambiguous. Cannot choose between [R2[] I2#method(), R[] I2#method()]
>  @ line 6, column 15.
>           return i.method();
>                  ^
> 1 error
> {code}
> Originally reported as https://youtrack.jetbrains.com/issue/IDEA-148973



--
This message was sent by Atlassian JIRA
(v6.4.14#64029)