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

STC: multiple instanceof checks produce different results

    XMLWordPrintableJSON

Details

    Description

      Consider the following:

      @groovy.transform.TypeChecked test1(CharSequence chars) {
  if (chars instanceof Cloneable && chars instanceof Closeable) {
      chars
  }
}
@groovy.transform.TypeChecked test2(CharSequence chars) {
  if (chars instanceof Cloneable) {
    if (chars instanceof Closeable) {
      chars
    }
  }
}

      The last occurrence of "chars" in test1 has the inferred type "CharSequence & Cloneable & Closeable". However the last occurrence of "chars" in test2 has the inferred type "CharSequence & Closeable" instead of the expected result like test1.

      Attachments

        Issue Links

          is related to

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-5226 Variables which type is determined thanks to instanceof checks should be usable as arguments without casts

          • Major - Major loss of function.
          • Closed

          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-7333 Incorrect inferred type in instanceof check of array

          • Major - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-9455 STC: no error for if (!(x instanceof T)) x.methodFromT()

          • Minor - Minor loss of function, or other problem where easy workaround is present.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. GROOVY-9769 STC: UnionTypeClassNode created for simple instanceof scenarios

          • Minor - Minor loss of function, or other problem where easy workaround is present.
          • Closed

          Activity

            People

              emilles Eric Milles
              emilles Eric Milles
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: