search

jspecify / jspecify

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
http://jspecify.org
Apache License 2.0
429 stars 26 forks source link

Exception parameters are intrinsically NonNull #508

Open wmdietl opened 1 month ago

wmdietl commented 1 month ago

Relates to the discussion in #347. This PR updates the spec and completes the conformance tests.