search

eisop / checker-framework

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

Propagate if a type argument is un-inferred through LUB computations #704

Closed wmdietl closed 8 months ago

wmdietl commented 8 months ago

Fixes #703.