Chris Povirk

"JSpecify for JSR305+IntelliJ users," "JSpecify for Checker Framework users," etc.

2

@sdeleuze pointed out in our meeting that we should explicitly call out some common differences from the semantics of other annotations and tools, like those discussed in [his question on...

One-paragraph writeup of our value proposition

12

We've already observed that people are going to see this project and point us to https://xkcd.com/927/. And while we have a lot of docs floating around for our requirements, our...

When a stub file covers only part of an API, can APIs affected without being declared?

3

(I don't think we've settled on a _format_ for stubs / external annotations, so I'll just follow the Checker Framework's lead and write Java sources -- even though it's possible...

A meta-annotation to express which TYPE_USE locations are recognized

4

Following #101's earlier proposal of a meta-annotation: For nullness, we don't assign meaning to annotations in certain locations, like `class @Nullable Foo {}` and `class Foo extends @Nullable Bar`. Perhaps...

Build with --release 8, or require builds to use JDK 8

29

I discovered in https://github.com/protocolbuffers/protobuf/issues/7827#issuecomment-676563016 that Animal Sniffer does not fail the build for dangerous covariant return types. This means that, if we build a Guava release with JDK 11 (which...

IIRC, we currently consider such an appearance of `@foo` to be an invalid tag (or, if it is a recognized one like `@return`, maybe a valid tag? or maybe never...

Use an indexed for loop to avoid defining an unused variable.

3

The background is that we run this code through a compiler that complains about unused variables. As I see it, it doesn't really make sense for the compiler to complain...

`@Null*arked` on record components

1

See summary in https://github.com/jspecify/jspecify/issues/43#issuecomment-881061588, with discussion starting in https://github.com/jspecify/jspecify/issues/43#issuecomment-700277489. It might be that all we can do is to encourage tools to report an error if compiling code that uses...

Automate publishing a release (and document anything to do by hand)

13

like https://github.com/jspecify/jspecify/pull/187#issuecomment-873183875 but nicer

Some parts of bytecode may need to be considered always null-unmarked: synthetic methods, local variables (because of `var`), anything else?

14

The nullness annotations for those either aren't known to javac at all or aren't propagated by it into the places we'd want in the bytecode. This isn't a catastrophe: The...