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

Manuel Hässig mhaessig at openjdk.org
Fri Jan 23 16:07:26 UTC 2026


On Fri, 23 Jan 2026 13:31:19 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> I wasn't aware. Do you have an example?

`testlibrary_tests/template_framework/tests/TestExpression.java` will fail with `Template rendering mismatch`. I tried it before I added the exception to the float division operators.

> just the fear that we will continue to hit subtle bugs, and it's just not worth it?

Mainly this

> we could also add explicit float/double casts to the modulo operator arguments. That would at least force away any exception, and ensure we are choosing the float/double modulo, rather than int modulo.

I like this. Then the question is, whether we want both or only the one with or the one without the annotation.

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

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


More information about the hotspot-compiler-dev mailing list