All issues

Search results

Crash on a qualified anonymous inner-class creation whose argument has the enclosing class's type

crash

Status: Open.

#8018 In typetools/checker-framework;

· mernst opened on Aug 20, 2026

Crash on outer.new Inner(outer) {}.

crash

Status: Open.

#8017 In typetools/checker-framework;

· mernst opened on Aug 20, 2026

Make type argument inference make use of @Covariant.

Status: Open.

#7708 In typetools/checker-framework;

· smillst opened on May 8, 2026

Type argument inference crashed

crash

Status: Open.

#7694 In typetools/checker-framework;

· cushon opened on May 4, 2026

Type argument inference crashed

crash

Status: Open.

#7683 In typetools/checker-framework;

· cushon opened on May 1, 2026

Type argument inference crashed

crash

Status: Open.

#7681 In typetools/checker-framework;

· cushon opened on May 1, 2026

Error message on "Do so by passing the top qualifier from the given hierarchy." violation is not informative

Status: Open.

#7652 In typetools/checker-framework;

· PukPukov opened on Apr 15, 2026

i18nformat.key.not.found reported for ResourceBundle.getString(key) when key is a valid constant passed through variable indirection

Unreproducible

Status: Open.

#7619 In typetools/checker-framework;

· Carbon14-48 opened on Apr 5, 2026

Proposal: Migrate the JDK 21 annotations typetools/jdk to JDK 25

Status: Open.

#7482 In typetools/checker-framework;

· Gaoyan1999 opened on Feb 8, 2026

Custom qualifiers and Maven setup

Status: Open.

#7387 In typetools/checker-framework;

· fritzfs opened on Nov 19, 2025

Interaction between NotOnlyInitialized and UnderInitialization

Status: Open.

#7373 In typetools/checker-framework;

· jpschewe opened on Nov 10, 2025

Error recognizing Class.isInstance filters out null

Status: Open.

#7365 In typetools/checker-framework;

· jpschewe opened on Nov 7, 2025