Vector conditions properly convert the true/false expression types to same
width vector as the condition.

Scalar conditions make the true/false expressions convert to each other.

Null-conversion needs the right sized vectors to kick out with matching types.

Missing are implicit conversions between int/bool/etc.