Issues

• Inference crashes on a chained call whose lambda returns a capture of an F-bounded type argument

  crash
  typetools/checker-framework#8323 · Filter by author smillst opened on Oct 6, 2026
  

• Index Checker crash: "Cannot be negated: a class java.lang.Character" on (char) ('a' + i)

  typetools/checker-framework#8320 · Filter by author mernst opened on Oct 5, 2026

• Inference fails because the lub of U and @Nullable U is not a supertype of U

  False Positive (false warning or imprecision)
  typetools/checker-framework#8301 · Filter by author smillst opened on Sep 29, 2026
  

• Crash on capture of super wildcard return type.

  crash
  typetools/checker-framework#8300 · Filter by author smillst opened on Sep 29, 2026
  

• Missing error on qualifiers on enclosing types.

  False Negative (missing warning or unsoundness)
  typetools/checker-framework#8170 · Filter by author smillst opened on Sep 15, 2026
  

• Enforce type declaration bounds

  typetools/checker-framework#8043 · Filter by author mernst opened on Aug 21, 2026

• Enforce @TargetLocations

  typetools/checker-framework#8042 · Filter by author mernst opened on Aug 21, 2026

• Feature of checking for pattern matching on case changing enums (discussion).

  typetools/checker-framework#8033 · Filter by author agentgt opened on Aug 21, 2026
  1

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

  crash
  typetools/checker-framework#8018 · Filter by author mernst opened on Aug 20, 2026
  

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

  crash
  typetools/checker-framework#8017 · Filter by author mernst opened on Aug 20, 2026
  

• Make type argument inference make use of @Covariant.

  typetools/checker-framework#7708 · Filter by author smillst opened on May 8, 2026

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

  typetools/checker-framework#7652 · Filter by author 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
  typetools/checker-framework#7619 · Filter by author Carbon14-48 opened on Apr 5, 2026
  4

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

  typetools/checker-framework#7482 · Filter by author Gaoyan1999 opened on Feb 8, 2026
  5

• Custom qualifiers and Maven setup

  typetools/checker-framework#7387 · Filter by author fritzfs opened on Nov 19, 2025
  1

• Interaction between NotOnlyInitialized and UnderInitialization

  typetools/checker-framework#7373 · Filter by author jpschewe opened on Nov 10, 2025
  3

• Error recognizing Class.isInstance filters out null

  typetools/checker-framework#7365 · Filter by author jpschewe opened on Nov 7, 2025
  5

• @PolyNull cannot be resolved correctly in nested generic type parameters

  typetools/checker-framework#7359 · Filter by author Gaoyan1999 opened on Nov 3, 2025
  

• Map.merge and other methods now always return @Nullable

  typetools/checker-framework#7340 · Filter by author cushon opened on Oct 27, 2025
  1

• Spurious [dereference.of.nullable] for object under initialization?

  typetools/checker-framework#7268 · Filter by author DrMicrobit opened on Sep 17, 2025
  1

• Nullness Checker unsoundness with inner classes

  False Negative (missing warning or unsoundness)
  typetools/checker-framework#7239 · Filter by author msridhar opened on Sep 1, 2025
  1

• NPE in MustCallConsistencyAnalyzer

  crashResourceLeakChecker
  typetools/checker-framework#7217 · Filter by author mernst opened on Aug 21, 2025

• Confusing qualifier in "required" line of error message

  typetools/checker-framework#7211 · Filter by author msridhar opened on Aug 20, 2025
  1

• type.argument warning when assigning to explicitly retyped type with wildcard parameters

  False Positive (false warning or imprecision)
  typetools/checker-framework#7210 · Filter by author MichalStehlikCz opened on Aug 20, 2025
  2

  

• Poor error messages for @EnsuresCalledMethods

  typetools/checker-framework#7140 · Filter by author Calvin-L opened on Jul 2, 2025
  2