Adapt to Checker Framework defaulting changes

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Closed smillst closed 5 years ago

smillst commented 5 years ago

Don't merge until the typetools/defaultyChanges of checker-framework has been merged into master.