-
Notifications
You must be signed in to change notification settings - Fork 369
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1895 In uber/NullAway;
Handle fields in JDK javac plugin
jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)Status: Open.#1862 In uber/NullAway;- Status: Open.#1859 In uber/NullAway;
JSpecify: nullable upper bound is lost when reading a generic field through ? super
jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)Status: Open.#1854 In uber/NullAway;- Status: Open.#1850 In uber/NullAway;
JSpecify mode: false positive passing null to
Consumer<@Nullable V>obtained through a wildcard receiverjspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)Status: Open.#1847 In uber/NullAway;- Status: Open.#1825 In uber/NullAway;
- Status: Open.#1822 In uber/NullAway;
[JSpecifyExperimental] False positive
dereferenced expression is @Nullablein Stream pipeline afterClass::castjspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)Status: Open.#1808 In uber/NullAway;Better reason about maps with
@Nullablevalues in JSpecify modejspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)Status: Open.#1805 In uber/NullAway;- Status: Open.#1797 In uber/NullAway;
- Status: Open.#1791 In uber/NullAway;