Ad hoc type restriction

[Archie Cobbs]

On Wed, Oct 15, 2025 at 11:34 AM Manu Sridharan <manu at sridharan.net> wrote:

> This is all mostly possible via the Checker Framework and similar
> approaches.
>

In the spirit of due diligence, I am attempting to implement something like
"WHAT I WANT" using the checker framework. Currently I'm battling a poor
progress/confusion ratio.

You wouldn’t need @SuppressWarnings annotations for validation either, due
> to type refinement <https://checkerframework.org/manual/#type-refinement>.
> And, for this type of property, where you’re essentially trying to
> introduce new subtypes of an existing type and then enforce type
> compatibility at assignments, the implementation effort to write the
> checker is pretty low.
>

Let me know offline if you (or anyone else) is interested in helping me
prototype something (I have a primordial github project).

Thanks,
-Archie

-- 
Archie L. Cobbs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20251015/4567a731/attachment.htm>