Issues

• Type argument inference crash (NPE in CheckedExceptionsUtil.visitTry) on a try in a lambda whose functional interface throws a type variable

  bug
  eisop/checker-framework#2398 · Filter by author aosen-xiong opened on Oct 26, 2026

• Type argument inference crash on a generic call on the right of String +=

  bug
  eisop/checker-framework#2397 · Filter by author aosen-xiong opened on Oct 26, 2026

• Crash StructuralEqualityComparer: unexpected combination on a conditional of a lambda and a generic call, passed to a generic method

  bug
  eisop/checker-framework#2396 · Filter by author aosen-xiong opened on Oct 26, 2026

• Type argument inference crash on a diamond in a switch expression passed to a generic method

  bug
  eisop/checker-framework#2395 · Filter by author aosen-xiong opened on Oct 26, 2026

• Type argument inference crash on a lambda passed as Supplier<? extends Flow<? extends R>> inside a lambda passed to a generic method

  bug
  eisop/checker-framework#2394 · Filter by author aosen-xiong opened on Oct 26, 2026

• Type argument inference crash on an unchecked call whose return type is a generic array

  bug
  eisop/checker-framework#2393 · Filter by author aosen-xiong opened on Oct 26, 2026

• Type argument inference crash on toArray(String[]::new) after map with a method reference of a raw type

  bug
  eisop/checker-framework#2392 · Filter by author aosen-xiong opened on Oct 26, 2026

• Type argument inference crash (NPE in InferenceResult.swapTypeVariables) on a generic call passed to a generic method of a raw receiver

  bug
  eisop/checker-framework#2391 · Filter by author aosen-xiong opened on Oct 26, 2026

• Crash AsSuperVisitor: type is not an erased subtype of supertype on a key of the map from nested Collectors.groupingBy

  bug
  eisop/checker-framework#2390 · Filter by author aosen-xiong opened on Oct 26, 2026

• Crash AsSuperVisitor: type is not an erased subtype of supertype on an anonymous class created with a diamond inside another inner class

  bug
  eisop/checker-framework#2389 · Filter by author aosen-xiong opened on Oct 26, 2026

• Investigate the store copying of the dataflow re-run: forward copies once per block, backward per node

  eisop/checker-framework#2384 · Filter by author wmdietl opened on Oct 26, 2026

• Lock expressions ignore -AassumePure and -AassumePureGetters; purity option logic is split across layers

  eisop/checker-framework#2381 · Filter by author wmdietl opened on Oct 26, 2026

• Lock Checker does not check that a @Holding lock expression is effectively final

  eisop/checker-framework#2380 · Filter by author wmdietl opened on Oct 26, 2026

• Annotation for a method's read footprint, so a call that depends only on its receiver and arguments keeps its refinement across side effects

  eisop/checker-framework#2378 · Filter by author wmdietl opened on Oct 26, 2026

• StructuralEqualityComparer treats distinct type variables with equal bounds as equal

  eisop/checker-framework#2376 · Filter by author wmdietl opened on Oct 26, 2026

• Lock Checker: lock.expression.not.final for an effectively final local variable

  eisop/checker-framework#2375 · Filter by author wmdietl opened on Oct 26, 2026

• Index Checker is superlinear in the number of for loops in one method

  eisop/checker-framework#2374 · Filter by author wmdietl opened on Oct 26, 2026

• Upstream checker-qual ahead of checker.jar on the processor path crashes every file

  eisop/checker-framework#2372 · Filter by author matthewd-so opened on Oct 25, 2026

• Adapt dependent types before the varargs parameters are expanded

  eisop/checker-framework#2370 · Filter by author wmdietl opened on Oct 25, 2026

• Index Checker: two arrays with the same @ArrayLen are not @SameLen

  eisop/checker-framework#2369 · Filter by author wmdietl opened on Oct 25, 2026

• Dependent type annotations on constructor parameters are not viewpoint-adapted for anonymous class creation

  eisop/checker-framework#2367 · Filter by author wmdietl opened on Oct 25, 2026

• TypesUtils fails to initialize on JDKs 9 to 12 that lack TypeVar.setUpperBound

  eisop/checker-framework#2366 · Filter by author wmdietl opened on Oct 25, 2026

• Resource Leak Checker sets the aggregate checker's root once per analyzed method

  eisop/checker-framework#2340 · Filter by author wmdietl opened on Oct 22, 2026

• Document how the qualifiers of an intersection type are combined

  eisop/checker-framework#2338 · Filter by author wmdietl opened on Oct 21, 2026

• Crash on a generic call with a raw method reference or a lambda, inside a lambda passed to a generic method

  bug
  eisop/checker-framework#2337 · Filter by author aosen-xiong opened on Oct 21, 2026