Chris Povirk

Can `@Implies` work across the type-use/declaration boundary? [working decision: yes]

11

I would think that most people would want to just convert their existing annotations to be type annotations. But might doing so turn out to be trickier than we'd like?...

Document the nullness of special APIs on enum and annotation types

4

- all enum constants are non-nullable - `SomeEnum.values()` returns a non-nullable array of non-nullable values - `SomeEnum.valueOf(String)` returns non-null (which may be a useful fact for tools that want to...

Use GitHub Actions for most release automation

1

Currently, we have a shell script that we use to release Guava (and various of our other projects). It could be further automated even in its current form (e.g., to...

Write advice on using a javac that can (a) read type-use annotations from class files and (b) understand `MODULE`

6

Very rough notes for later cleanup: Things you want (each of which should come with a justification for why you want it): - You really want a javac with the...

`@NonNull` vs. `? extends @Nullable` for `Optional`-returning methods

4

We have a method whose signature is essentially this: ```java static Optional getAsOptional(Supplier supplier) ``` There are at least two ways to annotate this method. (Below, I'm assuming `@NullMarked` on...

Re-justify or remove the discussion of `FluentIterable` in "the `ImmutableList.Builder` case"

4

https://jspecify.dev/docs/spec/#substitution explains why our substitution rules have a special case for null-exclusive type variables. That overall point is still true. But we go on to discuss why we use `MINUS_NULL`...

As part of discussing spec changes for https://github.com/jspecify/jspecify/issues/248, @netdpb found that we have a bug in how we currently handle `NO_CHANGE`+`MINUS_NULL`. We'll want to update https://jspecify.dev/docs/spec/#applying-operator to fix that. I...

String.format(Locale.ROOT, ...) wrapper

5

`String.format` depends on the default locale, leading to problems like #1567. We can fix it by passing `Locale.ROOT` to each call, but this is kind of ugly, especially for an...

I don't know if this is the best link, but I do know that the current one 404s :)

Allow annotations in subcomponents of `instanceof` types? in pattern variables?

17

(assigning to @netdpb in case he wants to include this in https://github.com/jspecify/jspecify/pull/592) javac accepts code like this: ```java import org.jspecify.annotations.Nullable; class InstanceOfAnnotated { void go(Object o) { if (o instanceof...