There were some offline musings related to this but no actual "proposal". Not sure what Brian will come up with.
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. On Wed, Nov 23, 2022 at 5:04 AM Remi Forax <[email protected]> wrote: - there is no @NonNull, a lack of @Nullable inside a @NullMarked scope > encodes the fact that a type is non null. (Well, we did eventually add it; the javadoc <https://jspecify.dev/docs/api/org/jspecify/annotations/NonNull.html> explains why. Sorry the spec isn't current. The javadoc and design faq are much more so.) JSpecify is specified in term of subtyping relationship not in term of > boxing/unboxing rules. >From our reading of the JLS, this was just the most convenient way to do it. If it goes wrong somehow, we missed that. -- Kevin Bourrillion | Java Librarian | Google, Inc. | [email protected]
