<div dir="ltr"><div>There were some offline musings related to this but no actual "proposal". Not sure what Brian will come up with.</div><div><br></div><div>I'm very glad for more awareness of our work obviously... but I don't want to overstate how directly applicable it is to Valhalla. The relationship between the two could be more complex; I'm only interested that we can see some path toward future unification, and we can convince ourselves we're not stepping off that path.</div><div><br></div><div><br></div><div>On Wed, Nov 23, 2022 at 5:04 AM Remi Forax <<a href="mailto:forax@univ-mlv.fr">forax@univ-mlv.fr</a>> wrote:<br></div><div dir="ltr"><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">- there is no @NonNull, a lack of @Nullable inside a @NullMarked scope encodes the fact that a type is non null.</blockquote><div><br></div><div>(Well, we did eventually add it; the <a href="https://jspecify.dev/docs/api/org/jspecify/annotations/NonNull.html">javadoc</a> explains why. Sorry the spec isn't current. The javadoc and design faq are much more so.)</div><div><br></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">JSpecify is specified in term of subtyping relationship not in term of boxing/unboxing rules.</blockquote><div><br></div><div>From our reading of the JLS, this was just the most convenient way to do it. If it goes wrong somehow, we missed that.</div><div><br></div></div><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div style="line-height:1.5em;padding-top:10px;margin-top:10px;color:rgb(85,85,85);font-family:sans-serif"><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(213,15,37);padding-top:2px;margin-top:2px">Kevin Bourrillion |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(51,105,232);padding-top:2px;margin-top:2px"> Java Librarian |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(0,153,57);padding-top:2px;margin-top:2px"> Google, Inc. |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(238,178,17);padding-top:2px;margin-top:2px"> <a href="mailto:kevinb@google.com" target="_blank">kevinb@google.com</a></span></div></div></div></div></div></div></div></div>