<div dir="ltr"><div dir="ltr">On Wed, Oct 15, 2025 at 11:34 AM Manu Sridharan <<a href="mailto:manu@sridharan.net">manu@sridharan.net</a>> wrote:</div><div class="gmail_quote gmail_quote_container"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div dir="ltr">This is all mostly possible via the Checker Framework and similar approaches. </div></div></blockquote><div><br></div><div>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.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div dir="ltr">You wouldn’t need <code style="border:1px solid rgb(206,206,206);background-color:rgb(248,248,248);padding:0px 3px;border-radius:4px">@SuppressWarnings</code> annotations for validation either, due to <a href="https://checkerframework.org/manual/#type-refinement" target="_blank">type refinement</a>.  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.</div></div></blockquote><div><br></div><div>Let me know offline if you (or anyone else) is interested in helping me prototype something (I have a primordial github project).</div><div><br></div><div>Thanks,</div><div>-Archie</div><div> </div></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Archie L. Cobbs<br></div></div>