Chris Povirk

Consider a model under which `Optional<@Nullable String>` "fully does not exist"

5

(I am going to be trying very hard to argue that we don't need to cover this now, but I wanted to write it down somewhere after it came up...

Terminology: "under every parameterization" -> "invariably?"

1

as proposed in https://github.com/jspecify/jspecify/pull/617#issuecomment-2338495455 Worth a look someday but not a spec-1.0.0 blocker.

https://github.com/jspecify/jspecify/blob/b40e92ef9754d687774c6ccc46834e921727bb66/docs/docs/spec.md?plain=1#L721-L729 My hope is that a fix here would involve rewriting the rules in a way that would simplify them more generally, as recently discussed [on #632](https://github.com/jspecify/jspecify/pull/632#discussion_r1752541563) and I think...

@netdpb points out that we have some but not nearly as many as we could have. For example, the sections on nullness-subtype-establishing paths are very abstract. It could help to...

Improve, document, and link tools for automatically adding nullness annotations

4

We have a few in [Error Prone's `nullness` directory](https://github.com/google/error-prone/tree/master/core/src/main/java/com/google/errorprone/bugpatterns/nullness), notably `ReturnMissingNullable`, which we have used to great effect. All those could be improved in various ways, and we have Google-internal...

Write our take on `Optional` vs. null-augmented types

3

Examples of existing discussions: - https://homes.cs.washington.edu/~mernst/advice/nothing-is-better-than-optional.html - https://www.reddit.com/r/java/comments/13rv1t2/why_exactly_does_brian_goetz_not_recommend_the/ - https://www.reddit.com/r/java/comments/1epg4cf/comment/lhl0ay3/ Points to possibly hit from those and other discussions: - Much more static analysis exists to prevent dereferencing of nullable...

Link from "Start Here" page to `whether`, `using`, and maybe other docs?

1

It's a little sad that the home page's "Learn More" link leads to a "Start Here" page that currently links to those docs only from the sidebar. As more people...

Release tools for migrating from one set of nullness annotations to another

2

I have a few versions of a non-push-button tool hanging out (in unsubmitted Google CLs... search for "DeclarationNullableToTypeUseNullable" if I get hit by a bus), but it needs to be...