All issues

Search results

AnnotatedTypeMirror.hasExplicitAnnotation(Class) crashes when the queried class isn't present

bug

Status: Open.

#2056 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

addAliasedTypeAnnotation does not validate that the canonical annotation is a supported qualifier

Status: Open.

#2048 In eisop/checker-framework;

· wmdietl opened on Sep 10, 2026

addElementDefault can silently suppress a written @DefaultQualifier if called before defaultsAt runs

Status: Open.

#2047 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

A shadowed @DefaultQualifier is lost for deeper subpackages when the shadowing default sets applyToSubpackages=false

Status: Open.

#2037 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