[jira] [Closed] (GROOVY-8523) Static type checking instanceof

["Paul King (JIRA)" <ji...@apache.org>]

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

Paul King closed GROOVY-8523.
-----------------------------

> Static type checking instanceof
> -------------------------------
>
>                 Key: GROOVY-8523
>                 URL: https://issues.apache.org/jira/browse/GROOVY-8523
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static compilation, Static Type Checker
>    Affects Versions: 2.4.13
>            Reporter: Nikolay Chugunov
>            Assignee: Paul King
>            Priority: Major
>             Fix For: 2.5.0-rc-1
>
>
> Now following code failed to compile : 
> {code}
> @CompileStatic
> class Gr {
>     void f1(Object obj) {
>         if (!(obj instanceof Runnable)) {
>             return
>         }
>         f3(obj) // failed compiled here  : Cannot find matching method Gr#f3(java.lang.Object). 
>     }
>     void f3(Runnable r) {  }
> }
> {code}
> I have implemented fix and can submit fix, if needed.
> Idea doesn't highlight this code as error, but groovy compiler failed.



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)