All issues

Search results

Conflicting @DefaultQualifier annotations on the same element are silently resolved by arbitrary name ordering

Status: Open.

#2061 In eisop/checker-framework;

· wmdietl opened on Sep 11, 2026

A nullness annotation on a multi-catch's first alternative is silently dropped

false negative

Status: Open.

#2052 In eisop/checker-framework;

· wmdietl opened on Sep 11, 2026

instanceof/cast narrowing of array types trusts element nullness without verification, unsound under aliasing

false negative

Status: Open.

#2050 In eisop/checker-framework;

· wmdietl opened on Sep 10, 2026

No way to turn off an on/off option, so a -Amode group cannot be partially disabled

Status: Open.

#2039 In eisop/checker-framework;

· wmdietl opened on Sep 7, 2026

@HasQualifierParameter can be written on a package but @NoQualifierParameter cannot, so there is no package-level opt-out

Status: Open.

#2038 In eisop/checker-framework;

· wmdietl opened on Sep 7, 2026

StackOverflowError when viewpoint-adapting a member access on a three-deep generic interface

Status: Open.

#2036 In eisop/checker-framework;

· aosen-xiong opened on Sep 7, 2026

Crash: AsSuperVisitor on ? extends Sub for an F-bounded type parameter

bug

Status: Open.

#2034 In eisop/checker-framework;

· aosen-xiong opened on Sep 7, 2026

@PolyNull in a functional-interface type argument resolves to @NonNull for a lambda's return

Status: Open.

#2030 In eisop/checker-framework;

· wmdietl opened on Sep 6, 2026

-AwarnUnneededSuppressions is a silent no-op under -AassumeInitialized

Status: Open.

#2029 In eisop/checker-framework;

· aosen-xiong opened on Sep 6, 2026

Nullness Checker accepts a cast from T to T that throws a NullPointerException

false negative

Status: Open.

#2011 In eisop/checker-framework;

· aosen-xiong opened on Sep 4, 2026

What should an annotation on an anonymous class creation mean?

Status: Open.

#2010 In eisop/checker-framework;

· aosen-xiong opened on Sep 3, 2026

Dependency Dashboard

Status: Open.

#2006 In eisop/checker-framework;

· renovate opened on Sep 2, 2026