GitHub user avafanasiev opened a pull request:
https://github.com/apache/groovy/pull/599
GROOVY-7721: Static type checking fails when compiling against a Java
interface call
Arrays is also covariants in java, so they should be also compared.
Can't find exact documentation, but JLS 15.12.2.5 says:
â Otherwise, if all the maximally specific methods are abstract or
default, and
the signatures of all of the maximally specific methods have the same
erasure
(§4.6), then the most specific method is chosen arbitrarily among the
subset
of the maximally specific methods that have the most specific return type.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/avafanasiev/groovy master
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/groovy/pull/599.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #599
----
commit 98d82aeff501cd996f1a9aebfae793160c8d3cfe
Author: alexey.afanasiev <alexey.afanas...@jetbrains.com>
Date: 2017-09-13T10:14:58Z
GROOVY-7721: Static type checking fails when compiling against a Java8
interface with inherited methods
----
---
