# `type.constraint_contradiction`

Constraints contradict each other.

Area 2, [Values and types](../topics/values-and-types.md); not declinable; the next step is usually the agent's.

```jadpo
type Nickname = Text {
    min_length: 10
    max_length: 3
}
```

```text
error: `max_length: 3` is below `min_length: 10`
 --> main.jadpo:3:5
  |
2 |     min_length: 10
  |     ---------- the minimum
3 |     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_contradiction

check failed: 1 error, 1 file
```