RFR: [type-classes] Initial work to enable type-classes mediated operator support [v2]

[Maurizio Cimadamore]

On Sun, 25 Jan 2026 22:15:04 GMT, Sylv <duke at openjdk.org> wrote:

> Why `__witness`? Why can't it be an annotation like `@Witness` or even `@OperatorOverload`? Also, why an anonymous class???

I will repeat the cautionary note stated in [this comment](https://github.com/openjdk/valhalla/pull/1886#issue-3805376239):

> Given the highly experimental nature of this work, nothing is settled in stone, and the comments below are mostly provided as a general guidance on how to use what's there.

Commenting on superficial aspects such as the syntax we use to denote witness is unlikely to be helpful at this stage of this project.

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

PR Comment: https://git.openjdk.org/valhalla/pull/1948#issuecomment-3800762676