search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Remove unused formal parameter #175

Closed mernst closed 3 years ago

mernst commented 3 years ago

Merge with https://github.com/typetools/checker-framework/pull/3695