All issues

Search results

Improve diagnostics for redundant postcondition annotations

Status: Open.

#1982 In eisop/checker-framework;

· wmdietl opened on Aug 27, 2026

DefaultTypeHierarchy.visitTypevar_Typevar and testTypevarContainment disagree on corresponding type variables (equality vs. containment vs. lower-bound comparison)

Status: Open.

#1981 In eisop/checker-framework;

· wmdietl opened on Aug 27, 2026

type.arguments.not.inferred skips structural checks, masking reference-checker qualifier diagnostics

Status: Open.

#1980 In eisop/checker-framework;

· wmdietl opened on Aug 26, 2026

Add test coverage for override.typaram.invalid with method references that declare their own type parameters

Status: Open.

#1974 In eisop/checker-framework;

· wmdietl opened on Aug 25, 2026

Consider deduplicating override.typaram.invalid against override.param.invalid/override.return.invalid for the same occurrence

question

Status: Open.

#1973 In eisop/checker-framework;

· wmdietl opened on Aug 25, 2026

KeyFor: overriding Collection.toArray(T[]) reports a spurious second override.typaram.invalid

bug

Status: Open.

#1972 In eisop/checker-framework;

· wmdietl opened on Aug 25, 2026

override.typaram.invalid false positive on F-bounded/self-referential type-parameter bounds

bug

Status: Open.

#1971 In eisop/checker-framework;

· wmdietl opened on Aug 25, 2026

AnnotatedTypeMirror expands javac's type DAG into a tree, exponential for mutually F-bounded generics

enhancement

Status: Open.

#1964 In eisop/checker-framework;

· wmdietl opened on Aug 21, 2026

AbstractTypeProcessor drops the ANALYZE event for package-info.java/module-info.java, so BaseTypeVisitor checkers can never visit them

false negative

Status: Open.

#1958 In eisop/checker-framework;

· wmdietl opened on Aug 19, 2026

Wildcard bound incomparable with type parameter's declared bound is silently discarded via GLB

false negative

Status: Open.

#1957 In eisop/checker-framework;

· wmdietl opened on Aug 19, 2026

BaseTypeValidator.validateEnclosingTypeArgs double-reports a 3+-level enclosing-chain violation

Status: Open.

#1926 In eisop/checker-framework;

· wmdietl opened on Aug 6, 2026

Issue a warning for receiver-dependent qualifiers on fields or parameters when receiver is invariant

Status: Open.

#1916 In eisop/checker-framework;

· wmdietl opened on Aug 4, 2026