typetools / checker-framework

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

Fix crash with void lambdas #6521

Closed smillst closed 2 months ago