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

[lworld] LW2 array support in verifier

XMLWordPrintable

    • Icon: Enhancement Enhancement
    • Resolution: Not an Issue
    • Icon: P3 P3
    • repo-valhalla
    • repo-valhalla
    • hotspot

       LW2 array covariance:

      "[QFoo;" <: "[LFoo;” <: “[LObject;” <: “Object;"

      We can freely allow widening conversion, but not narrowing. I.e. narrow checkcast must match [Q...

      https://mail.openjdk.java.net/pipermail/valhalla-dev/2019-April/005600.html

      It might be useful to have verifier work in place before javac work if possible (there is some javac independent verifier testing).

            hseigel Harold Seigel (Inactive)
            dsimms David Simms
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: