Skip to content

Explore JSpecify tooling #3852

Closed
Closed

Description

@dondonz

We've recently added JSpecify annotations

Adding this issue to look into new JSpecify tooling that can run build-time null checks. We might need to do more work as well, as we don't yet have nullability annotations in all the places.

Activity

  1. added
    keep-openTells Stale Bot to keep PRs and issues open
    on Mar 28, 2025
  2. dondonz commented on May 11, 2025

    @dondonz
    MemberAuthor

    We will probably add Error Prone & Null Away for static checks as we progressively add more annotations

  3. bclozel commented on May 13, 2025

    @bclozel

    I've just left a comment in #3895 (comment)
    From my experience, it is easier to configure tooling first before annotating the entire codebase, even if it means disabling it for the CI until things settle down. I can help out with Gradle configuration.

  4. andimarek commented on Jul 29, 2025

    @andimarek
    Member

    we have now adopted jspecifcy + tooling

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    keep-openTells Stale Bot to keep PRs and issues open

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions