8000

All issues

Spurious inference failure when a generic method returns `@Nullable T` into a non-null target type

#1730

· vlsi opened

on Aug 24, 2026

JSpecify JDK models shadow an inherited library model: `HashMap.getOrDefault` is `@Nullable` where `Map.getOrDefault` is not

#1729

· vlsi opened

on Aug 24, 2026

JSpecify JDK models: `Collection.toArray()` cannot be both called and overridden

#1728

· vlsi opened

on Aug 24, 2026

JSpecify: false positive when a method returns `? extends T` and `T` has a `@Nullable` upper bound

#1727

· vlsi opened

on Aug 24, 2026

Crash on a `@Contract` clause whose antecedent arity does not match the method

#1726

· vlsi opened

on Aug 24, 2026

WarnOnGenericInferenceFailure redundantly reporting in wrong file

#1725

· jeffrey-easyesi opened

on Aug 23, 2026

Look into call sites passing `null` for overridden method type where they should be consulting library models

#1724

· msridhar opened

on Aug 23, 2026

IgnoreLibraryModelsFor on methods inside nullMarkedClasses makes all params nonnull

#1723

· jeffrey-easyesi opened

on Aug 23, 2026

Inscrutable error messages from inference failures

#1721

· msridhar opened

on Aug 23, 2026

`Map.Entry` loses the map's value type argument

#1720

· msridhar opened

on Aug 23, 2026

Method reference checked against a void functional interface

#1719

· msridhar opened

on Aug 23, 2026

JSpecify experimental: Override checks read the raw JDK signature, not the model

#1718

· msridhar opened

on Aug 23, 2026

0