-
Enhancement
-
Resolution: Unresolved
-
P4
-
7
-
unknown
-
generic
Cast conversion is an area in which we had many bugs - esp. since the addition of generics to the Java language. Most of those bugs are caused by some unexpected interaction between non-denotable types (added in JDK 5 to support generics), as described in http://blogs.sun.com/mcimadamore/entry/bugs_bugs_bugs.
It would be nice to have a combo test, like e.g. for type containment (http://hg.openjdk.java.net/jdk7/tl/langtools/file/12d8f7e417fd/test/tools/javac/api/TestContainTypes.java) in order to check all possible combinations of 'source' and 'target' types subject to cast conversion.
It would be nice to have a combo test, like e.g. for type containment (http://hg.openjdk.java.net/jdk7/tl/langtools/file/12d8f7e417fd/test/tools/javac/api/TestContainTypes.java) in order to check all possible combinations of 'source' and 'target' types subject to cast conversion.
- relates to
-
JDK-8078084 4.5.1: Refine provable distinctness definition
-
- Open
-
-
-
- Closed
-
-
-
- Closed
-
-
-
- Closed
-