Details
-
Type:
Enhancement
-
Status: Resolved
-
Priority:
P3
-
Resolution: Not an Issue
-
Affects Version/s: repo-valhalla
-
Fix Version/s: repo-valhalla
-
Component/s: hotspot
-
Subcomponent:
Description
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).
"[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).
Attachments
Issue Links
- relates to
-
JDK-8222525 [lworld] Runtime support for LW2 Arrays
-
- Resolved
-
-
JDK-8222402 [lworld] LW2 array support in javac
-
- Resolved
-