Fix false-positive type checking error - Githubissues

opprop / checker-framework-inference

Inference of pluggable types for Java

6 stars 13 forks source link

Fix false-positive type checking error #377

Closed wmdietl closed 2 years ago

wmdietl commented 2 years ago

Fixed by https://github.com/opprop/checker-framework/pull/199 Additional tests should be added.