Issues

• Test and document the Annotation File Utilities Maven artifact

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

• FilesPlume.inferLineSeparator always returns the platform line separator; the annotator mixes line endings

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

• After the first release with the Annotation File Utilities: check the artifacts and the web site, archive eisop/annotation-tools

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

• Polymorphic qualifiers are resolved before viewpoint adaptation, unlike type arguments

  eisop/checker-framework#2233 · Filter by author aosen-xiong opened on Oct 9, 2026

• Value Checker: reduce the cost of range widening in loops

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

• Type argument inference crash: lambda returned by a lambda whose raw target's type parameter is bounded by a functional interface

  bug
  eisop/checker-framework#2179 · Filter by author aosen-xiong opened on Sep 27, 2026

• StubFiles bidirectional propagation causes every subchecker to request the full compound-tree union of stub files

  eisop/checker-framework#2178 · Filter by author wmdietl opened on Sep 27, 2026

• @SuppressWarningsPrefix can leak a checker's own identity to its subcheckers when that checker is used as a top-level processor directly

  eisop/checker-framework#2177 · Filter by author wmdietl opened on Sep 27, 2026

• Type argument inference crash on nested calls to methods with an F-bounded intersection type parameter

  bug
  eisop/checker-framework#2164 · Filter by author aosen-xiong opened on Sep 26, 2026 · next-release
  1

• Type argument inference crash when a call with an inherited-method reference argument is the receiver of a chained call

  bug
  eisop/checker-framework#2163 · Filter by author aosen-xiong opened on Sep 26, 2026 · next-release
  1

• Type argument inference crash on a return inside a class declared in a lambda body

  bug
  eisop/checker-framework#2160 · Filter by author aosen-xiong opened on Sep 26, 2026 · next-release
  2

• Type argument inference crash: lambda passed as Supplier<? extends List<? extends T>> to a ? extends target

  bug
  eisop/checker-framework#2159 · Filter by author aosen-xiong opened on Sep 26, 2026 · next-release
  2

• Type argument inference crash: lambda assigned to a raw functional interface returns a generic call

  bug
  eisop/checker-framework#2158 · Filter by author aosen-xiong opened on Sep 26, 2026 · next-release
  1

• Inherit @StubFiles from parent checkers for subcheckers

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

• Inherit messages.properties from parent checkers in SourceChecker.getMessagesProperties()

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

• Report diagnostics for declaration annotations on specific AnnotationTree instead of enclosing Element/Tree

  enhancement
  eisop/checker-framework#2148 · Filter by author wmdietl opened on Sep 25, 2026

• Degrade gracefully in InitializationChecker when @PolyInitialized or @NotOnlyInitialized are missing from classpath

  eisop/checker-framework#2146 · Filter by author wmdietl opened on Sep 24, 2026

• checker/jtreg/nullness/Issue1438d.java and Issue1438e.java don't actually discriminate a regression back to O(n^2)

  eisop/checker-framework#2144 · Filter by author wmdietl opened on Sep 23, 2026

• Initialization Checker: remaining dataflow-store costs for classes with many fields, past the O(n^2) fixed in PR #2137

  eisop/checker-framework#2143 · Filter by author wmdietl opened on Sep 23, 2026

• Polymorphic qualifier on a field is not resolved for the field's own declaration initializer

  eisop/checker-framework#2142 · Filter by author wmdietl opened on Sep 23, 2026

• typeinference8: a nested invocation's polymorphic qualifier is not resolved when its own instantiating argument is itself a poly expression

  eisop/checker-framework#2136 · Filter by author wmdietl opened on Sep 23, 2026

• Nullness Checker: spurious return.type.incompatible for a local array returned from an implicit lambda inside a generic method call

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

• -AignoreDeadCode: detect branches a single checker's own dataflow proves unreachable, not just CFG-structural dead code

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

• Clean up checker-qual module-info build configuration and avoid bare 'src/main' Eclipse workaround

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

• Precision loss after a branch merges with dead code

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