Skip to content

Migrate nullness annotations to JSpecify - #848

Open
jpenilla wants to merge 2 commits into
trunkfrom
migrate/jspecify-annotations
Open

Migrate nullness annotations to JSpecify#848
jpenilla wants to merge 2 commits into
trunkfrom
migrate/jspecify-annotations

Conversation

@jpenilla

@jpenilla jpenilla commented Aug 3, 2026

Copy link
Copy Markdown
Member

Summary

  • Migrate nullness annotations from Checker Framework to JSpecify.
  • Update Velocity support to 4.0 / Java 25.
  • Restore the nullable default method now that runtime JSpecify support is expected.

Blocked by

This PR is blocked on PaperMC/Velocity#1861, which adds JSpecify to Velocity’s runtime classpath.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant