Reduce how many `DefaultApplierElement` and `DefaultApplierElementImpl` instances are created

eisop / checker-framework

Pluggable type-checking for Java

https://eisop.github.io/

Other

18 stars 18 forks source link

Reduce how many `DefaultApplierElement` and `DefaultApplierElementImpl` instances are created #716

Open wmdietl opened 7 months ago

wmdietl commented 7 months ago

Currently, for every type that is defaulted, we create a new DefaultApplierElement and a new DefaultApplierElementImpl instance. Like for other visitors, it should be possible to only instantiate these classes once and reset them after use.