Add test case for closing over an `Optional` value

typetools / checker-framework

Pluggable type-checking for Java

http://checkerframework.org/

Other

988 stars 347 forks source link

Add test case for closing over an `Optional` value #6547

Closed jyoo980 closed 1 week ago

jyoo980 commented 3 weeks ago

With all the changes I'm making over in the Side Effects Only Checker (particularly wrt. unrefinement and lambda expressions), I want to add some test cases that can catch regressions that we should really care about.