CheapContrast and Implicit Truncation of Vector Type

This is driving me potty now. Please someone help!

Please can someone explain why this doesn’t cause an error:

but this does?