Values and types · rule
type.constraint_contradiction
Constraints contradict each other.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type Nickname = Text { min_length: 10 max_length: 3}
error: `max_length: 3` is below `min_length: 10` --> main.jadpo:3:5 |2 | min_length: 10 | ---------- the minimum3 | max_length: 3 | ^^^^^^^^^^ below the minimum reason: No value could follow both rules, so the type could never be built. next: Correct `min_length` or `max_length` (agent) rule: type.constraint_contradiction help: https://jadpo.dev/docs/errors/type.constraint_contradictioncheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.constraint_contradiction.md.Built from Jadpo main at a707efb.