RFR: 8364751: ConstantBootstraps.explicitCast contradictory specification for null-to-primitive [v2]

[Chen Liang]

On Wed, 27 Aug 2025 18:42:02 GMT, Chen Liang <liach at openjdk.org> wrote:

>> ConstantBootstraps.explicitCast behaves like a snippet of code in its specification. However, in the rest of the nominal spec, it incorrectly assumes a null `value` and a primitive `dstType` results in a ClassCastException instead of the zero value of that primitive type. This is inconsistent with that snippet and the actual code behavior.
>> 
>> The specification is fixed, the test for `explicitCast` is merged into the main `ConstantBootstraps` test, and a new unit test case for `value = null` and `dstType = char.class` is added, verifying the outcome is `'u0000'`.
>
> Chen Liang has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:
> 
>  - Update wording and rendering again
>  - Merge branch 'master' of https://github.com/openjdk/jdk into doc/constboot-cast
>  - Update and consolidate tests
>  - 8364751: ConstantBootstraps.explicitCast violates doc contracts for null-to-int

The CSR review asks to clarify the throws clause. I have rephrased it to avoid referring to list indices not available in plain text view. Please review again.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/26714#issuecomment-3234392041