You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@groovy.apache.org by "ASF GitHub Bot (JIRA)" <ji...@apache.org> on 2017/09/26 14:58:00 UTC
[jira] [Commented] (GROOVY-8330) Wrong 'Inconvertible types' error
on casting interface
[ https://issues.apache.org/jira/browse/GROOVY-8330?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16180888#comment-16180888 ]
ASF GitHub Bot commented on GROOVY-8330:
----------------------------------------
GitHub user avafanasiev opened a pull request:
https://github.com/apache/groovy/pull/607
GROOVY-8330: Wrong 'Inconvertible types' error on casting interface
Make cast error a little bit like java.
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/607.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 #607
----
commit f30d2e5dd6ce8045eb6656d1993f0dd9b07edfc5
Author: alexey.afanasiev <al...@jetbrains.com>
Date: 2017-09-26T14:43:15Z
GROOVY-8330: Wrong 'Inconvertible types' error on casting interface
----
> Wrong 'Inconvertible types' error on casting interface
> -------------------------------------------------------
>
> Key: GROOVY-8330
> URL: https://issues.apache.org/jira/browse/GROOVY-8330
> Project: Groovy
> Issue Type: Bug
> Components: Static compilation, Static Type Checker
> Affects Versions: 2.4.12
> Reporter: Alexey Afanasiev
>
> {code}
> import groovy.transform.CompileStatic
> interface A1{}
> interface A2 extends A1{}
>
> class C1 implements A1{}
> class C2 extends C1 implements A2 {}
>
> @CompileStatic
> def m(A2 a2) {
> C1 c1 = (C1) a2 // There is error here now: Inconvertible types: cannot cast A2 to C1
> }
> {code}
> JLS handle this situation in 5.1.6.1 :
> A narrowing reference conversion exists from reference type S to reference type T
> if ...... - S is an interface type, T is a class type, and T does not name a final class.
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)