Canonical representation of a value cannot violate the pattern restriction for its type.

• 值的规范表示形式不能违反其类型的模式限制。