Search results

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

conformance-testsFramework and implementation for conformance testsFramework and implementation for conformance tests

Status: Open.

Bug

#224 In jspecify/jspecify-reference-checker;

· netdpb opened on Sep 30, 2025

False negative with type argument inference?

Status: Open.

#219 In jspecify/jspecify-reference-checker;

· msridhar opened on Jun 29, 2025

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

Status: Open.

#214 In jspecify/jspecify-reference-checker;

· cpovirk opened on Dec 12, 2024

SNAPSHOT repository

Status: Open.

#213 In jspecify/jspecify-reference-checker;

· agentgt opened on Dec 11, 2024

Update checker for #248 substitution decision

Status: Open.

#212 In jspecify/jspecify-reference-checker;

· cpovirk opened on Nov 5, 2024

Special case for record equals methods

Status: Open.

#210 In jspecify/jspecify-reference-checker;

· cpovirk opened on Sep 20, 2024

Treat Kotlin code as null-unmarked

Status: Open.

#209 In jspecify/jspecify-reference-checker;

· cpovirk opened on Sep 20, 2024

Produce errors for annotations in instanceof

Status: Open.

#208 In jspecify/jspecify-reference-checker;

· cpovirk opened on Sep 20, 2024

Treat annotation element as intrinsically non-nullable

Status: Open.

#207 In jspecify/jspecify-reference-checker;

· cpovirk opened on Sep 20, 2024

Treat Kotlin code as null-unmarked

Status: Open.

#205 In jspecify/jspecify-reference-checker;

· cpovirk opened on Sep 10, 2024

main-eisop: Fix new incorrect errors involving wildcards

Status: Open.

#200 In jspecify/jspecify-reference-checker;

· cpovirk opened on Aug 14, 2024

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

Status: Open.

#199 In jspecify/jspecify-reference-checker;

· cpovirk opened on Aug 14, 2024