This looks like the result of the new cool patch by SPJ

that detects redundant constraints.

IIRC, it was supposed to be added to -Wall, but disabled
for validate, at least for packages out of our control.