search

eisop / checker-framework

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

Fix order of bounds in error message #745

Closed wmdietl closed 5 months ago

wmdietl commented 5 months ago

The arguments when the error is raised are extends/super, whereas the message text was super/extends. https://github.com/eisop/checker-framework/blob/5304c7fcbf5d3154e3dda9c16a2ebb7346697020/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeValidator.java#L660