eisop / checker-framework

Pluggable type-checking for Java

https://eisop.github.io/

Other

18 stars 18 forks source link

Open wmdietl opened 7 months ago

wmdietl commented 7 months ago

712 implemented conservative handling for `NotOnlyInitialized`, which passes all existing tests.

Add more test cases to see whether this conservative behavior causes false positives.

Also compare against handling before #444.