search

typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
990 stars 347 forks source link

Issue warnings when top is passed as a pre/postcondition qualifier #6409

Closed jyoo980 closed 4 months ago

jyoo980 commented 4 months ago

I believe the failing tests are due to "implicit" pre/postconditions also being checked by the new logic, will need to investigate.

jyoo980 commented 4 months ago

Closing in favour of #6412