Chris Povirk

Adoption of JSpecify annotations in Guava

18

**\[note to self: See also Google-internal issue 192446998.\]** (We'd spoken a while back about filing issues in the JSpecify tracker for some tasks that _other_ projects would take but that...

Sample inputs that exercise reading annotations from bytecode

1

Currently, most of our sample inputs are single files. Even for those that are multiple files, we expect for tools to compile them all together. This means (if I understand...

Inline the "directory structure" section of Tagir's doc into our sample inputs' README

1

As discussed in https://github.com/jspecify/jspecify/pull/122#discussion_r480857538.

As discussed in https://github.com/jspecify/jspecify/pull/122#discussion_r480336166. Blocked on figuring out how to identify tests that a Java version above Java 8 (#131).

Currently, we say that samples must work under Java 8. But this is not a long-term solution. The answer is probably either "separate directories" or "a comment somewhere in the...

Separate directories of sample inputs for "not enough information" and "mismatch," maybe for other kinds of divisions?

1

[Early last month](https://docs.google.com/document/d/1hr8Ld9cRMFksvA_Uzh61o4bdiVMXl084AR5QAkokEn0/edit#heading=h.slkckb8ujj9p), we had discussed splitting the samples into "strict" and "lenient" directories. We agreed to give it a shot and see how it goes. I gave it a...

Sample input: Inheriting the same type with different arguments

2

(split off from #67. another edge case for the ["It's not just type usages"](https://github.com/google/codeanalysis-annotations/issues/64#issuecomment-521390256) bucket) ```java interface NumberList extends List {} interface SerializableList extends List {} interface IntegerList extends NumberList,...

Sample input: Inheriting override-equivalent methods

5

This is an edge case, but while [I'm beating the "It's not just type usages" drum](https://github.com/google/codeanalysis-annotations/issues/64#issuecomment-521390256): The JLS has [8.4.8.4](https://docs.oracle.com/javase/specs/jls/se12/html/jls-8.html#jls-8.4.8.4) for inheriting override-equivalent methods. We would probably follow the same...

Address the "`findViewById` problem" (generally nullable, but in *common* specific cases not)

27

We've discussed using `@NullUnspecified` as a way of saying something like "a smarter tool would be able to tell you when this is safe" -- or just "this method is...

Decide on final names for JPMS module and Maven artifact

2

We discussed these questions a bit in the threads linked from https://github.com/jspecify/jspecify/issues/160#issuecomment-786769558, but I don't think we tried to draw the wider group's attention to them. We don't need to...