Issues

• Crash in ParamApplier on an annotated array creation with a wildcard element type

  eisop/checker-framework#2290 · Filter by author aosen-xiong opened on Oct 16, 2026
  1

• Viewpoint adaptation crashes on a field initializer that passes an array field to a generic method

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

• Viewpoint adaptation crashes on an override of a method whose type variable is bounded by a class type variable

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

• Diamond on an anonymous class ignores the target's type-argument qualifiers

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

• Crash on a qualified anonymous subclass of an inner class with a varargs constructor

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

• The type hierarchy ignores the type arguments of enclosing types

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

• Performance: postcondition expressions of a called method are parsed again at every call

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

• Performance: TreePathCacher.getPath in QualifierDefaults.nearestEnclosingExceptLocal is slow for very long method bodies

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

• -Amode=jspecify crashes with "this.flowResult is null" on a field read through another object

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

• Annotation on the outermost type argument is lost for local variables of a three-level inner type

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

• 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

• 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

• 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

• 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