Selectively clear information about method call values in lambda expressions

typetools / checker-framework

Pluggable type-checking for Java

http://checkerframework.org/

Other

988 stars 347 forks source link

Closed jyoo980 closed 1 week ago

jyoo980 commented 2 weeks ago

Making this PR a draft pending additional changes required to verify non-escaped lambda expressions

jyoo980 commented 1 week ago

@mernst This is ready for another review

jyoo980 commented 1 week ago

@mernst thanks for the catch! I've updated the implementation and added a test case

jyoo980 commented 1 week ago

@mernst FYI this should also be merged in concert https://github.com/typetools/jdk/pull/202