Details
Description
This program should be rejected:
class Test<X> {
Object o = (byte[])(X[])null;
}
Instead, the compiler accepts it, starting from JDK 7 b112. The problem is likely to be related to the changes in cats conversion involving 292 (see 6979683).
class Test<X> {
Object o = (byte[])(X[])null;
}
Instead, the compiler accepts it, starting from JDK 7 b112. The problem is likely to be related to the changes in cats conversion involving 292 (see 6979683).
Attachments
Issue Links
- relates to
-
JDK-6979683 inconsistent interaction of reference cast with box/unbox conversions leaves out a useful case
-
- Closed
-
-
JDK-7041730 Regression: compiler accepts invalid cast from int to Byte
-
- Closed
-