RFR: 8359335: Template-Framework Library: Primitive Types subtyping

[Emanuel Peter]

On Wed, 21 Jan 2026 15:56:36 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

Points to discuss:
- Sampling in expressions:
  - subtype or exact type? Modulo throws no exception for float, but for subtype int it does.
  - sampling probabilities: would not be great if implicit conversions skew the probability of operations/types

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

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