Search results

Add proper support for wildcards to JSpecify mode

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

Status: Open.

#1360 In uber/NullAway;

· msridhar opened on Dec 2, 2025

Feature Request: Allow Supplier<@NonNull Foo> -> Supplier<@Nullable Foo>

enhancement

Status: Open.

#1356 In uber/NullAway;

· agrieve opened on Nov 27, 2025

@NonNull not working when used in generic return type

bug

Status: Open.

#1354 In uber/NullAway;

· agrieve opened on Nov 26, 2025

Improve handling of wildcard upper bounds in generic method inference

Status: Open.

#1350 In uber/NullAway;

· msridhar opened on Nov 25, 2025

Calling enum's @NullMarked override of @Nullable method not recognized as @NonNull

lowpriority

Status: Open.

#1343 In uber/NullAway;

· chemicL opened on Nov 14, 2025

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