typetools

可能已有人在做的 issue 排在最后。 全部按时间排序

• Enforce type declaration bounds

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 2/5 1-3 小时 新手友好度 72/100

  typetools/checker-framework#8043 · 2026年8月21日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 35/100

  typetools/checker-framework#8033 · 1 条评论 · 2026年8月21日 创建

  维护者通常 1 天内回复

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

  可能重新可做 @smillst 于 49 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  crash

  typetools/checker-framework#8018 · 已指派 1 人 · 2026年8月20日 创建

  维护者通常 1 天内回复

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

  可能重新可做 @smillst 于 49 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  crash

  typetools/checker-framework#8017 · 已指派 1 人 · 2026年8月20日 创建

  维护者通常 1 天内回复

• Make type argument inference make use of `@Covariant`.

  可能重新可做 关联的 PR 已关闭且未合并。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#7708 · 2026年5月8日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 52/100

  typetools/checker-framework#7652 · 2026年4月15日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Unreproducible

  难度 4/5 3-5 天 新手友好度 52/100

  typetools/checker-framework#7619 · 4 条评论 · 2026年4月5日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 25/100

  typetools/checker-framework#7482 · 5 条评论 · 2026年2月8日 创建

  维护者通常 1 天内回复

• Custom qualifiers and Maven setup

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 35/100

  typetools/checker-framework#7387 · 1 条评论 · 2025年11月19日 创建

  维护者通常 1 天内回复

• Error recognizing Class.isInstance filters out null

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#7365 · 5 条评论 · 2025年11月7日 创建

  维护者通常 1 天内回复

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

  可能重新可做 @smillst 于 339 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  typetools/checker-framework#7359 · 已指派 1 人 · 2025年11月3日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 30/100

  typetools/checker-framework#7340 · 1 条评论 · 1 个 reaction · 2025年10月27日 创建

  维护者通常 1 天内回复

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#7268 · 1 条评论 · 2025年9月17日 创建

  维护者通常 1 天内回复

• Nullness Checker unsoundness with inner classes

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Negative (missing warning or unsoundness)

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#7239 · 1 条评论 · 2025年9月1日 创建

  维护者通常 1 天内回复

• Confusing qualifier in "required" line of error message

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 35/100

  typetools/checker-framework#7211 · 1 条评论 · 2025年8月20日 创建

  维护者通常 1 天内回复

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

  可能重新可做 @smillst 于 411 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Positive (false warning or imprecision)

  typetools/checker-framework#7210 · 2 条评论 · 已指派 1 人 · 2025年8月20日 创建

  维护者通常 1 天内回复

• Poor error messages for `@EnsuresCalledMethods`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 30/100

  typetools/checker-framework#7140 · 2 条评论 · 1 个 reaction · 2025年7月2日 创建

  维护者通常 1 天内回复

• Inconsistent default nullability between Called Methods and Nullness checkers with Lombok

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#7138 · 1 条评论 · 2025年7月1日 创建

  维护者通常 1 天内回复

• Failing constraint printed twice for `type.arguments.not.inferred` error

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 48/100

  typetools/checker-framework#7134 · 2025年6月29日 创建

  维护者通常 1 天内回复

• Generic type variable doesn't respect @NonNull annotation on the generic tpye.

  可能重新可做 @smillst 于 481 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  typetools/checker-framework#7104 · 已指派 1 人 · 2025年6月12日 创建

  维护者通常 1 天内回复

• isVariableTreeDeclaredUsingVar assumes var types don't have start positions, is broken by changes in JDK-8329951

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 2/5 1-3 小时 新手友好度 68/100

  typetools/checker-framework#7096 · 1 条评论 · 2025年6月10日 创建

  维护者通常 1 天内回复

• Compilation time doubling in Hibernate ORM

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 20/100

  typetools/checker-framework#7080 · 5 条评论 · 2025年5月20日 创建

  维护者通常 1 天内回复

• Not seeing missing method warning in stub file for an inherited method

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 35/100

  typetools/checker-framework#7069 · 2025年5月6日 创建

  维护者通常 1 天内回复

• javac API change in Java 25 - Log.DiagnosticHandler

  可能重新可做 @smillst 于 542 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  typetools/checker-framework#7039 · 已指派 1 人 · 2025年4月14日 创建

  维护者通常 1 天内回复

• Unsoundness in Nullness Checker with record patterns

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Negative (missing warning or unsoundness)

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#7032 · 1 条评论 · 2025年4月10日 创建

  维护者通常 1 天内回复

• Model possible `MatchException`s in control-flow graphs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#7028 · 2 条评论 · 2025年4月9日 创建

  维护者通常 1 天内回复

• Support Java 21 and 22 constructs in `.ajava` files

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  typetools/checker-framework#7016 · 2 条评论 · 2025年3月31日 创建

  维护者通常 1 天内回复

• RLC unsoundness at (pseudo?) assignments to `@MustCallUnknown`

  可能重新可做 关联的 PR 已关闭且未合并。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#6990 · 1 条评论 · 2025年3月19日 创建

  维护者通常 1 天内回复

• RLC inference with a private finalizer method

  可能重新可做 @iamsanjaymalakar 于 574 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ResourceLeakChecker

  typetools/checker-framework#6989 · 1 条评论 · 已指派 1 人 · 2025年3月13日 创建

  维护者通常 1 天内回复

• Incorrect RLC inference of EnsuresCalledMethods for outer-class fields released by inner-class methods

  可能重新可做 @iamsanjaymalakar 于 574 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug ResourceLeakChecker

  typetools/checker-framework#6988 · 3 条评论 · 已指派 1 人 · 2025年3月13日 创建

  维护者通常 1 天内回复

• RLC - [[checkOwningField() did not find a reason!]]

  可能重新可做 @iamsanjaymalakar 于 575 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug ResourceLeakChecker

  typetools/checker-framework#6987 · 1 个 reaction · 已指派 1 人 · 2025年3月12日 创建

  维护者通常 1 天内回复

• Annotation not found in provided JUnit5 stub file

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 2/5 1-3 小时 新手友好度 45/100

  typetools/checker-framework#6961 · 2025年1月22日 创建

  维护者通常 1 天内回复

• Make JavaDoc respect JPMS module definitions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#6950 · 2025年1月7日 创建

  维护者通常 1 天内回复

• Problems inferring arguments from stream pipelines

  可能重新可做 @smillst 于 651 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  typetools/checker-framework#6938 · 已指派 1 人 · 2024年12月24日 创建

  维护者通常 1 天内回复

• Crash: AsSuperVisitor Declared_Primitive: type is not a boxed primitive

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  typetools/checker-framework#6923 · 2 条评论 · 2024年12月12日 创建

  维护者通常 1 天内回复

• Checker Framework always crashes on all Windows boxes in my team

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 25/100

  typetools/checker-framework#6902 · 2 条评论 · 2024年11月25日 创建

  维护者通常 1 天内回复

• Possible Null Pointer Dereference in MustCallConsistencyAnalyzer.java

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ResourceLeakChecker

  难度 2/5 1-3 小时 新手友好度 42/100

  typetools/checker-framework#6878 · 2024年10月29日 创建

  维护者通常 1 天内回复

• New UI for the website for better readability

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  typetools/checker-framework#6873 · 8 条评论 · 2024年10月25日 创建

  维护者通常 1 天内回复

• NPE: Cannot invoke "javax.lang.model.element.AnnotationMirror.getAnnotationType()" because "annotation" is null

  可能重新可做 @smillst 于 265 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  crash

  typetools/checker-framework#6872 · 1 条评论 · 已指派 1 人 · 2024年10月25日 创建

  维护者通常 1 天内回复

• CCE: AnnotatedWildcardType cannot be cast to class AnnotatedTypeMirror$AnnotatedDeclaredType

  可能重新可做 @smillst 于 715 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  crash

  typetools/checker-framework#6871 · 已指派 1 人 · 2024年10月23日 创建

  维护者通常 1 天内回复

• failed to report type argument that does not satisfy upper bound

  可能重新可做 @smillst 于 715 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Negative (missing warning or unsoundness)

  typetools/checker-framework#6868 · 已指派 1 人 · 2024年10月18日 创建

  维护者通常 1 天内回复

• false negative when using ternary operator

  可能重新可做 @smillst 于 730 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Negative (missing warning or unsoundness)

  typetools/checker-framework#6849 · 已指派 1 人 · 2024年10月8日 创建

  维护者通常 1 天内回复

• False positive in the Optional Checker

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Positive (false warning or imprecision)

  难度 4/5 3-5 天 新手友好度 42/100

  typetools/checker-framework#6848 · 2024年10月8日 创建

  维护者通常 1 天内回复

• Can you produce a 'bom' pom file?

  可能重新可做 @smillst 于 734 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  typetools/checker-framework#6836 · 2 条评论 · 已指派 1 人 · 2024年10月3日 创建

  维护者通常 1 天内回复

• Unsoundness in MustCallChecker (and RLC) for functional interfaces

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ResourceLeakChecker

  难度 4/5 3-5 天 新手友好度 42/100

  typetools/checker-framework#6823 · 8 条评论 · 1 个 reaction · 2024年9月26日 创建

  维护者通常 1 天内回复

• type parameter bounded by SAM might lead to false negative

  可能重新可做 @smillst 于 744 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Negative (missing warning or unsoundness)

  typetools/checker-framework#6816 · 1 条评论 · 已指派 1 人 · 2024年9月24日 创建

  维护者通常 1 天内回复

• false negative when encountering recursive bound

  可能重新可做 @smillst 于 744 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  False Negative (missing warning or unsoundness)

  typetools/checker-framework#6815 · 1 条评论 · 已指派 1 人 · 2024年9月24日 创建

  维护者通常 1 天内回复

• No easy way to load stubs as Maven dependencies

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 35/100

  typetools/checker-framework#6813 · 4 条评论 · 2024年9月21日 创建

  维护者通常 1 天内回复

• Improved interaction between `@This` and `@MustCall`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ResourceLeakChecker

  难度 5/5 一周以上 新手友好度 35/100

  typetools/checker-framework#6800 · 1 条评论 · 2024年9月13日 创建

  维护者通常 1 天内回复

• WPI for nullness fails to annotate a multi-field declaration

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  typetools/checker-framework#6794 · 2024年9月10日 创建

  维护者通常 1 天内回复