Issues

• False positive passing null through a raw receiver

  false positivejspecify
  uber/NullAway#2064 · Filter by author msridhar opened on Oct 24, 2026

• False positive for inline generic method references

  false positivejspecify
  uber/NullAway#2063 · Filter by author msridhar opened on Oct 24, 2026

• Wiki Maven example fails with current Error Prone: missing --should-stop=ifError=FLOW and -XDaddTypeAnnotationsToSymbol=true

  uber/NullAway#2058 · Filter by author vlsi opened on Oct 23, 2026
  1

• Pre-commit hook aborts the commit with no message when Gradle fails

  bug
  uber/NullAway#2057 · Filter by author vlsi opened on Oct 23, 2026

• Checker Framework @EnsuresNonNullIf(expression = ...) is silently ignored

  enhancementfalse positive
  uber/NullAway#2053 · Filter by author vlsi opened on Oct 23, 2026

• JSpecify mode: field of type T is not substituted through the receiver, so b.value = null on Box<@Nullable String> is reported

  false negativefalse positivejspecify
  uber/NullAway#2051 · Filter by author vlsi opened on Oct 23, 2026

• False positive when a void-compatible expression lambda discards a nullable generic result

  false positivejspecify
  uber/NullAway#2048 · Filter by author msridhar opened on Oct 22, 2026
  1

• JSpecify mode reports Try<String> cannot be converted to Try<@Nullable String> for a call chain on an unmarked generic class

  false positivejspecify
  uber/NullAway#2045 · Filter by author vlsi opened on Oct 22, 2026

• JSpecify mode: a @Nullable Object[] passed to an unmarked method's @NonNull Object[] parameter is not reported

  false negativejspecify
  uber/NullAway#2044 · Filter by author vlsi opened on Oct 22, 2026

• JSpecify mode: a diamond passed to <U> U id(U u) is inferred as Box<String> whatever the target type

  false negativefalse positivejspecify
  uber/NullAway#2043 · Filter by author vlsi opened on Oct 22, 2026

• Remove the fallback that reads type-use annotations from bytecode type attributes

  uber/NullAway#2042 · Filter by author vlsi opened on Oct 22, 2026

• JSpecify: a var initialized with a conditional expression gets no @Nullable type argument from diamond or generic method inference

  false negativejspecify
  uber/NullAway#2038 · Filter by author vlsi opened on Oct 22, 2026

• ClassCastException in ClassDeclarationNullnessAnnotUtils.dfsWithFormals for a field read through ? extends W of a class with an intersection bound

  uber/NullAway#2030 · Filter by author vlsi opened on Oct 22, 2026

• NullPointerException in RestoreNullnessAnnotationsVisitor for an explicitly typed lambda assigned to Consumer<?> with wildcard handling on

  uber/NullAway#2029 · Filter by author vlsi opened on Oct 22, 2026

• JSpecify: dereferencing a T value is not reported when T extends @Nullable Object

  false negativejspecify
  uber/NullAway#2027 · Filter by author vlsi opened on Oct 22, 2026

• Library models: describe nested and PolyNull locations the same way, so stubs can carry PolyNull

  uber/NullAway#1989 · Filter by author vlsi opened on Oct 20, 2026

• JSpecify JDK models: list.toArray() on a List<String> is reported as @Nullable Object [] where Object[] is expected

  enhancementjdk-modelsjspecify
  uber/NullAway#1988 · Filter by author vlsi opened on Oct 20, 2026

• Unify method-reference return-nullness handling for contracts and library models

  bugfalse positivejdk-modelsjspecify
  uber/NullAway#1986 · Filter by author msridhar opened on Oct 20, 2026

• Support nullable intersection bounds consistently

  crashfalse positivejspecify
  uber/NullAway#1971 · Filter by author subhramit opened on Oct 19, 2026

• JSpecify mode: CastToNonNullMethod reports castNonNull(t) as passing a known @NonNull value when the type variable of t admits null

  false positivejspecify
  uber/NullAway#1961 · Filter by author vlsi opened on Oct 14, 2026

• JSpecify mode: a @Nullable element of an array initializer is accepted where the component type excludes null (new Object[] {null})

  false negativejspecify
  uber/NullAway#1960 · Filter by author vlsi opened on Oct 14, 2026

• JSpecify mode: an inferred @Nullable type argument is lost in an array component and inside a wildcard bound of the call's result

  false negativejspecify
  uber/NullAway#1950 · Filter by author vlsi opened on Oct 9, 2026

• JSpecify mode: a List<T> whose T admits null reaches List.copyOf unreported when it passes through another generic call first

  false negativejdk-modelsjspecify
  uber/NullAway#1947 · Filter by author vlsi opened on Oct 9, 2026

• JSpecify mode: a type variable whose bound admits null is accepted as the type argument of a type parameter that excludes null (NonNullParameter<T>, Class<T>, Test.<T>m())

  false negativejspecify
  uber/NullAway#1946 · Filter by author vlsi opened on Oct 9, 2026

• JSpecify mode: inference substitutes a synthetic @NonNull for an unconstrained type variable, so a List<T> with T extends @Nullable Object flows into a List<Object>

  false negativejspecify
  uber/NullAway#1945 · Filter by author vlsi opened on Oct 9, 2026
  1