search

typetools / checker-framework-inference

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

Rename `elements` to `elementUtils` #145

Closed mernst closed 4 years ago

wmdietl commented 4 years ago

We had discussed the related CF PR https://github.com/typetools/checker-framework/pull/2967 and decided against this naming change. So I think we should also close this without merging.

mernst commented 4 years ago

Thanks for the reminder. I will close this.