search

eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
15 stars 16 forks source link

Adapt test to corrected JDK annotations #710

Closed wmdietl closed 4 months ago

wmdietl commented 4 months ago

See https://github.com/eisop/jdk/pull/85 and earlier discussions in https://github.com/eisop/jdk/pull/82.