groovy-notifications mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Daniel Sun (JIRA)" <j...@apache.org>
Subject [jira] [Updated] (GROOVY-8523) Static type checking instanceof
Date Tue, 03 Apr 2018 01:39:02 GMT

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

Daniel Sun updated GROOVY-8523:
-------------------------------
    Priority: Major  (was: Minor)

> 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
>            Priority: Major
>
> 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)

Mime
View raw message