[ https://issues.apache.org/jira/browse/GROOVY-7721?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Daniel Sun updated GROOVY-7721: ------------------------------- Fix Version/s: 2.6.0-alpha-2 2.5.0-beta-2 3.0.0-alpha-1 > 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: 3.0.0-alpha-1, 2.5.0-beta-2, 2.4.13, 2.6.0-alpha-2 > > > 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)