UNIQUE constraint examples are tiny finite table checks; SQL dialect completeness, index implementation, locking, optimizer behavior, product behavior, and performance claims are out of scope.
Both keys are present
The duplicate key has no NULL component, so it collides.
present keys collide
Summary
A duplicate non-NULL key makes the table invalid for that rule.