Use `List<DiagMessage>` instead of `framework.source.Result` - Githubissues

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Use `List<DiagMessage>` instead of `framework.source.Result` #146

Closed mernst closed 4 years ago

mernst commented 4 years ago

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