Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8011392

Missing checkcast when casting to intersection type

    XMLWordPrintable

Details

    • b87
    • Verified

    Description

      The following program runs w/o exceptions:

      import java.util.*;

      class Test {
          public static void main(String[] args) {
              Runnable r = (List<?> & Runnable)new ArrayList<String>();
          }
      }

      Note that, if the types are swapped in the intersection, the program fails with CCE.

      Attachments

        Issue Links

          relates to

          Bug - A problem which impairs or prevents the functions of the product. JDK-8209022 Missing checkcast when casting to type parameter bounded by intersection type

          • P4 - 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. JDK-8263642 javac emits duplicate checkcast for first bound of intersection type in cast

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

          Activity

            People

              mcimadamore Maurizio Cimadamore
              mcimadamore Maurizio Cimadamore
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: