[jira] [Closed] (GROOVY-8330) Wrong 'Inconvertible types' error on casting interface

["Daniel Sun (JIRA)" <ji...@apache.org>]

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

Daniel Sun closed GROOVY-8330.
------------------------------
       Resolution: Fixed
         Assignee: Daniel Sun
    Fix Version/s: 2.6.0-alpha-2
                   2.4.13
                   2.5.0-beta-2
                   3.0.0-alpha-1

Thanks for your patch!

> 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
>            Assignee: Daniel Sun
>             Fix For: 3.0.0-alpha-1, 2.5.0-beta-2, 2.4.13, 2.6.0-alpha-2
>
>
> {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)