Then it would violate the above constraint @ line 94, causing an error.