Search results

Nullables are not passed correctly in a generic context in Jspecify mode

Status: Open.

#1320�?In uber/NullAway;

· Marinell0 opened on Oct 29, 2025

Support Maven Plugin annotations in ExcludedFieldAnnotations

Status: Open.

#1319�?In uber/NullAway;

· ascopes opened on Oct 27, 2025

Treat effectively final variables the same as static final fields when reasoning about "constant" function calls

Status: Open.

#1318�?In uber/NullAway;

· wimdeblauwe opened on Oct 26, 2025

Better support method reference parameters in generic method inference

bug

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1307�?In uber/NullAway;

· agrieve opened on Oct 6, 2025

JSpecify: restrict instantiation type on constructors like <code>AtomicReference</code>

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1300�?In uber/NullAway;

· msridhar opened on Sep 20, 2025

Turn on checking of contracts by default

Status: Open.

#1296�?In uber/NullAway;

· msridhar opened on Sep 18, 2025

Generic method inference does not support inferring different nullability for multiple calls to same generic method

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1291�?In uber/NullAway;

· msridhar opened on Sep 16, 2025

Better support lambda parameters in generic method inference

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1290�?In uber/NullAway;

· msridhar opened on Sep 16, 2025

Better test and support generic method inference for returns from lambdas

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1288�?In uber/NullAway;

· msridhar opened on Sep 16, 2025

JSpecify: missing warning with inner classes and inheritance

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

lowpriority

Status: Open.

#1274�?In uber/NullAway;

· msridhar opened on Sep 1, 2025

Improve documentation on how NullAway analyzes complex <code>if</code> conditions

Status: Open.

#1254�?In uber/NullAway;

· bannmann opened on Aug 22, 2025

JSpecifyMode: Incomplete checking on reads from <code>Iterable&lt;@Nullable X&gt;</code> and <code>@Nullable X[]</code>

bug

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1253�?In uber/NullAway;

· jeffrey-easyesi opened on Aug 21, 2025