search

eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
17 stars 16 forks source link

Investigate `MostSpecificVisitor` #662

Closed wmdietl closed 2 months ago

wmdietl commented 7 months ago

The errorprone 2.24.0 warning suppressed in https://github.com/eisop/checker-framework/pull/661/commits/8272dcf4c57a3f9b8246cafd826a259d05ed544c looks suspicious. Investigate that code and find a proper solution.