Search results

No error reported if receiver type argument is NonNull while method return type parameter is Nullable

false negative

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

Status: Open.

#1201 In uber/NullAway;

· dhruv-agr opened on Apr 20, 2025

Jspecify mode of 2d object arrays seems broken

false positive

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

Status: Open.

#1150 In uber/NullAway;

· agrieve opened on Feb 24, 2025

JSpecify: support inference for calls to generic methods

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

Status: Open.

#1075 In uber/NullAway;

· msridhar opened on Nov 14, 2024

JSpecify: work around missing type annotations in cast expression types

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

Status: Open.

#1022 In uber/NullAway;

· msridhar opened on Aug 19, 2024

Add special handling for reading generic type argument annotations from bytecode, if needed

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

Status: Open.

#1005 In uber/NullAway;

· msridhar opened on Jul 22, 2024

Tracking issue: making <code>jspecify/jdk</code> library models available to NullAway users

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

trackingFor tracking a larger NullAway change / improvementFor tracking a larger NullAway change / improvement

Status: Open.

#950 In uber/NullAway;

· msridhar opened on Apr 16, 2024

ignoring generic Nullable on Supplier

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

Status: Open.

#947 In uber/NullAway;

· xenoterracide opened on Apr 8, 2024

Handling of declaration annotations in JSpecify mode

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

Status: Open.

#853 In uber/NullAway;

· msridhar opened on Oct 25, 2023

Report better error messages in JSpecify mode for bad overrides

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

Status: Open.

#846 In uber/NullAway;

· msridhar opened on Oct 13, 2023

JSpecify: support annotated type arguments from an enclosing class

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

Status: Open.

#836 In uber/NullAway;

· msridhar opened on Sep 29, 2023

Fix printing of array types in generics error messages

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

Status: Open.

#818 In uber/NullAway;

· msridhar opened on Aug 29, 2023

NullAway complaining about returning null for a return type of CompletableFuture&lt;Void&gt;

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

Status: Open.

#801 In uber/NullAway;

· thugsatbay opened on Aug 11, 2023