typetools / checker-framework-inference

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

Adds an expected error due to fix from #2264 but skips test because CFI can't handle another expected warning. #104

Closed t-rasmud closed 5 years ago