RFR: 8359335: Template-Framework Library: Primitive Types subtyping [v2]

[Manuel Hässig]

On Wed, 28 Jan 2026 10:31:25 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote:

>> This PR implements the subtype relation for primitive types in the Template Framework Library according to JLS §4.10.1. Further, this PR extends the primitive type example to test the addition.
>> 
>> Testing:
>>  - [x] Github Actions
>>  - [x] tier1, tier2
>
> Manuel Hässig 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:
> 
>  - Add floating point division operations using explicits casts.
>  - Introduce control over how expressions are nested
>  - Merge branch 'master' into JDK-8359335-template-subtyping
>  - Implement subtyping for primitive types in templates

I updated the PR with:
 - configurable nesting mode for `Expression.nestRandomly()`
 - set the nesting mode for the `ExpressionFuzzer` to `EXACT`
 - added both variants of floating point divisions

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

PR Comment: https://git.openjdk.org/jdk/pull/29349#issuecomment-3810797032