I don't think this constraint is enforced anywhere.