jspecify/jspecify-reference-checker

Issues

• Can't build main-eisop

  #211 opened 17 days ago by netdpb
  2

• Special case for record `equals` methods

  #210 opened 2 months ago by cpovirk
  0

• Treat Kotlin code as null-unmarked

  #209 opened 2 months ago by cpovirk
  0

• Produce errors for annotations in `instanceof`

  #208 opened 2 months ago by cpovirk
  0

• Treat annotation element as intrinsically non-nullable

  #207 opened 2 months ago by cpovirk
  0

• Treat Kotlin code as null-unmarked

  #205 opened 2 months ago by cpovirk
  0

• main-eisop: Fix new incorrect errors involving wildcards

  #200 opened 3 months ago by cpovirk
  28

• Circular dependency with `:jspecify:classes`

  #202 opened 3 months ago by wmdietl
  1

• New errors (maybe related to `? super`) from eisop/checker-framework#746

  #193 opened 3 months ago by cpovirk
  23

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

  #199 opened 3 months ago by cpovirk
  0

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

  #198 opened 3 months ago by cpovirk
  0

• `SequencedCollection` was added in Java 21 and needs to be handled

  #192 opened 4 months ago by wmdietl
  10

• Conformance-test report not automatically regenerated after jspecify change

  #184 opened 4 months ago by cpovirk
  0

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

  #104 opened a year ago by netdpb
  0

• Array subtyping and generics

  #180 opened 6 months ago by msridhar
  5

• Unsoundness with array subtyping?

  #179 opened 6 months ago by msridhar
  2

• Lenient mode errors for returning nullable values from null-unmarked methods with a type-parameter return type

  #172 opened 7 months ago by cpovirk
  5

• main-eisop: `x(Foo<? super T>)` cannot override identical signature

  #164 opened 7 months ago by cpovirk
  1

• Unmarked type variables bounds in strict mode

  #177 opened 7 months ago by wmdietl
  2

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

  #162 opened 9 months ago by cpovirk
  4

• main-eisop crash in TernaryUnspecVsNoQualifier

  #159 opened 7 months ago by cpovirk
  6

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

  #176 opened 7 months ago by wmdietl
  0

• build instructions for main-eisop

  #156 opened 7 months ago by cpovirk
  3

• main-eisop: When `class Foo<T>` is null-unmarked, usages of `T` should have unspecified nullness

  #163 opened 7 months ago by cpovirk
  1

• main-eisop: Unbounded wildcards default to non-nullable

  #161 opened 7 months ago by cpovirk
  1

• main-eisop NPE: Cannot invoke "com.sun.source.tree.Tree.getKind()" because "tree" is null

  #160 opened 9 months ago by cpovirk
  3

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

  #167 opened 8 months ago by cpovirk
  0

• Support naming conformance test assertions

  #141 opened 9 months ago by netdpb
  0

• Create a separate conformance test library

  #107 opened 10 months ago by netdpb
  0

• Detailed conformance test run fails

  #135 opened 10 months ago by wmdietl
  1

• Conformance tests throw on reported wildcards or captures

  #120 opened a year ago by netdpb
  0

• Don't require JUnit for conformance tests

  #111 opened a year ago by netdpb
  0

• Move code to the proper package

  #106 opened a year ago by netdpb
  0

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

  #99 opened a year ago by netdpb
  1

• Make the conformance test report lines stable when there are several facts for one line

  #103 opened a year ago by netdpb
  3

• Support assertions about sink types

  #98 opened a year ago by netdpb
  0

• Support assertions about the type of expressions in the conformance tests

  #91 opened a year ago by netdpb
  0

• Tutorial is out of date

  #93 opened a year ago by bowbahdoe
  1

• Reject @NullMarked+@NullUnmarked on the same element

  #86 opened a year ago by cpovirk
  1

• Unable to access checker.jar when running the demo

  #84 opened a year ago by lbkulinski
  2

• Build/test workflow fails with Gradle error

  #81 opened a year ago by netdpb
  1

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

  #82 opened a year ago by cpovirk
  0

• placeholder issue #69

  #69 opened 2 years ago by cpovirk
  0

• placeholder issue #67

  #67 opened 2 years ago by cpovirk
  0

• placeholder issue #68

  #68 opened 2 years ago by cpovirk
  0

• placeholder issue #65

  #65 opened 2 years ago by cpovirk
  0

• placeholder issue #66

  #66 opened 2 years ago by cpovirk
  0

• placeholder issue #63

  #63 opened 2 years ago by cpovirk
  0

• placeholder issue #64

  #64 opened 2 years ago by cpovirk
  0

• placeholder issue #62

  #62 opened 2 years ago by cpovirk
  0