[GitHub] groovy pull request #599: GROOVY-7721: Static type checking fails when compi...

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[GitHub] groovy pull request #599: GROOVY-7721: Static type checking fails when compi...

paulk-asert
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 <[hidden email]>
Date:   2017-09-13T10:14:58Z

    GROOVY-7721: Static type checking fails when compiling against a Java8 interface with inherited methods

----


---
Reply | Threaded
Open this post in threaded view
|

[GitHub] groovy pull request #599: GROOVY-7721: Static type checking fails when compi...

paulk-asert
Github user asfgit closed the pull request at:

    https://github.com/apache/groovy/pull/599


---