Issues

• Automatic updating of conformance test reports when the test suite changes is broken

  conformance-tests
  Bug

  jspecify/jspecify-reference-checker#224 · Filter by author netdpb opened on Sep 30, 2025
  2

  

• False negative with type argument inference?

  jspecify/jspecify-reference-checker#219 · Filter by author msridhar opened on Jun 29, 2025
  4

• Reimplement handling of checkState+checkArgument to use the @AssertMethod infrastructure

  jspecify/jspecify-reference-checker#214 · Filter by author cpovirk opened on Dec 12, 2024

• SNAPSHOT repository

  jspecify/jspecify-reference-checker#213 · Filter by author agentgt opened on Dec 11, 2024
  1

• Update checker for #248 substitution decision

  jspecify/jspecify-reference-checker#212 · Filter by author cpovirk opened on Nov 5, 2024

• Special case for record equals methods

  jspecify/jspecify-reference-checker#210 · Filter by author cpovirk opened on Sep 20, 2024

• Treat Kotlin code as null-unmarked

  jspecify/jspecify-reference-checker#209 · Filter by author cpovirk opened on Sep 20, 2024

• Produce errors for annotations in instanceof

  jspecify/jspecify-reference-checker#208 · Filter by author cpovirk opened on Sep 20, 2024

• Treat annotation element as intrinsically non-nullable

  jspecify/jspecify-reference-checker#207 · Filter by author cpovirk opened on Sep 20, 2024

• Treat Kotlin code as null-unmarked

  jspecify/jspecify-reference-checker#205 · Filter by author cpovirk opened on Sep 10, 2024

• main-eisop: Fix new incorrect errors involving wildcards

  jspecify/jspecify-reference-checker#200 · Filter by author cpovirk opened on Aug 14, 2024
  28

• main-eisop: Identify cases of widened parameter types in overrides again

  jspecify/jspecify-reference-checker#199 · Filter by author cpovirk opened on Aug 14, 2024

• main-eisop: Produce errors for unsafe casts to primitive types again

  jspecify/jspecify-reference-checker#198 · Filter by author cpovirk opened on Aug 14, 2024

• Conformance-test report not automatically regenerated after jspecify change

  jspecify/jspecify-reference-checker#184 · Filter by author cpovirk opened on Jul 9, 2024
  

• Array subtyping and generics

  jspecify/jspecify-reference-checker#180 · Filter by author msridhar opened on May 14, 2024
  5

• Unmarked type variables bounds in strict mode

  jspecify/jspecify-reference-checker#177 · Filter by author wmdietl opened on Apr 22, 2024
  2

• conformance-test-framework: handle errors in unexpected locations

  jspecify/jspecify-reference-checker#176 · Filter by author wmdietl opened on Apr 17, 2024

• Build race or other flakiness, at least on main-eisop

  jspecify/jspecify-reference-checker#167 · Filter by author cpovirk opened on Mar 21, 2024

• Low-priority main-eisop: [type.invalid.super.wildcard] bounds must have the same annotations.

  jspecify/jspecify-reference-checker#162 · Filter by author cpovirk opened on Feb 8, 2024
  4

• Move code to the proper package

  jspecify/jspecify-reference-checker#106 · Filter by author netdpb opened on Nov 15, 2023

• Make jspecify-bot the author of robotic "Update conformance test reports" PRs

  conformance-tests
  jspecify/jspecify-reference-checker#104 · Filter by author netdpb opened on Aug 23, 2023

• Test the nullness-augmented types of symbols in the classpath

  conformance-tests
  jspecify/jspecify-reference-checker#99 · Filter by author netdpb opened on Aug 18, 2023
  1

  

• Reject @NullMarked+@NullUnmarked on the same element

  jspecify/jspecify-reference-checker#86 · Filter by author cpovirk opened on Jun 6, 2023
  1

• Provide a flag to control whether to recognize non-JSpecify annotations

  jspecify/jspecify-reference-checker#82 · Filter by author cpovirk opened on May 25, 2023

• Update behavior around substituting Foo? into a usage of an unspec-bounded type variable

  jspecify/jspecify-reference-checker#43 · Filter by author cpovirk opened on Apr 25, 2023