Chris Povirk

Fix Javadoc comments that refer to the actual value under test to refer to "actual value" instead of "subject"

3

Or more concisely: "`Subject.getSubject()`? Huh?" I guess that we could make it `Subject.getActualValue()` (or just `getActual()` or `actual()`), which would go nicely with the typical parameter name of `expected`. Alternatively,...

Make more Subject types subclassable

1

We'll probably do this on demand for now, but maybe we should be more proactive.

Someone just commented internally that this would be handy for testing `AbstractFuture`. \[edit: Well, maybe not for that specifically, in light of https://github.com/google/truth/issues/268. But it's useful for plenty of other...

@Rule execution order looks to have been guaranteed since 4.12 but is not documented as such

1

My understanding is that https://github.com/junit-team/junit4/commit/c75dcc28810aeb1c918ee7430981b31f41742ea7#diff-f35409420f2540415a9878beaf5a537248f301b6c683bb87a11016be3c9dc8b8R55 caused JUnit to begin processing `@Rule` fields in a defined order. The `@Rule` Javadoc, however, still [states](https://github.com/junit-team/junit4/blob/7167b23b3ba7dd79410f6e9db350d16cbe30617b/src/main/java/org/junit/Rule.java#L20-L22) that the order is defined by the JVM's...

IntelliJ setup instructions

4

https://github.com/google/error-prone/wiki/For-Developers talks about code style but not about importing the project as a whole. https://groups.google.com/g/error-prone-discuss/c/W-53qb8jwhE mentions the possibility of including `.iml` files in the repo. My understanding is that a...

A single shorthand scheme for augmented types, for prose and other non-source-code contexts

49

kevin1e100 and I touched on this a bit [in #32](https://github.com/jspecify/jspecify/issues/32#issuecomment-697920608), and I think it's come up elsewhere. It's not a question that it's JSpecify job to answer, but we should...

How to address `@Foo(bar = XYZ) @ImpliesFoo`

16

We've discussed some similar but not identical cases: - In [#216](https://github.com/jspecify/jspecify/issues/216), we established that `@Foo @SomethingThatImpliesNotFoo` is Bad and that the result is that both `@Foo` and the implicit `@NotFoo`...

Is the declaration "Foo<@NullnessUnspecified Object>" a possible mismatch when Foo forbids nullable type arguments?

19

The premise: ```java @NullMarked interface Foo {} ... Foo foo; // the declaration in question ``` We already have a special rule related to this case: > [If U is...

Publish a GWT module

9

[GWT](http://www.gwtproject.org/) matters to relatively few Java developers, but I'm getting the impression that we're going to need to publish a GWT module if we want to be able to use...

Stub files for "nullness only," etc.

5

Eventually, we hope that we will provide several kinds of annotation "domains," all of which may be adopted by common libraries. That could hypothetically produce code like the following: ```java...