Add support for jspecify annotations

[weberhofer]

Pull Request

Description

This PR adds support for the JSpecify annotations: @NullMarked, @NullUnmarked, @Nullable, @NonNull

Fixes: #4848

Type of Change

• [ ] 🐛 Bug fix
• [x] ✨ New feature
• [ ] ♻️ Refactor (non-breaking change)
• [x] 🧪 Tests
• [ ] 📝 Documentation
• [ ] 🧹 Chore (build or tooling)

Checklist

• [x] I have added/updated tests as needed
• [ ] I have added/updated documentation where applicable
• [x] The PR title is descriptive
• [x] The code builds and passes tests locally
• [x] I have linked related issues (if any)