Uploaded image for project: 'Groovy'
  1. Groovy
  2. GROOVY-8523

Static type checking instanceof

    XMLWordPrintableJSON

Details

    Description

      Now following code failed to compile : 

      @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) {  }
}

      I have implemented fix and can submit fix, if needed.
      Idea doesn't highlight this code as error, but groovy compiler failed.

      Attachments

        Issue Links

          relates to

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-6429 flow typing detects unexpected error at if-else flow

          • Major - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-8321 !instanceof treated incorrectly in type checker

          • Major - Major loss of function.
          • Closed
          links to

          Web Link GitHub Pull Request #680

          Activity

            People

              paulk Paul King
              Nikolas Nikolay Chugunov
              Votes:
              0 Vote for this issue
              Watchers:
              5 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: