search

jspecify / jspecify-reference-checker

The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
https://jspecify.org
Apache License 2.0
27 stars 7 forks source link

conformance-test-framework: handle errors in unexpected locations #176

Open wmdietl opened 7 months ago

wmdietl commented 7 months ago

At the moment errors in unexpected locations are quietly dropped. Figure out a suitable way to report such errors.

See discussion https://github.com/jspecify/jspecify-reference-checker/pull/173#issuecomment-2061975589 and https://github.com/jspecify/jspecify-reference-checker/pull/173#issuecomment-2059517842.