search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Use `AnnotationMirrorSet` and remove usage of `Set<AnnotationMirror>` #449

Open Ao-senXiong opened 2 months ago

Ao-senXiong commented 2 months ago

Merge after #450

wmdietl commented 6 days ago

@Ao-senXiong CI is failing. The required PR #450 has been merged. Is there another PR that needs to be merged first?