# `type.match_unreachable_pattern`

Match arm is unreachable after the wildcard.

Area 3, [Logic](../topics/logic.md); not declinable; the next step is usually the agent's.

```jadpo
function shout(label: Label) -> Label {
    return match label {
        "" -> "unnamed"
        _ -> label
        "quiet" -> "QUIET"
    }
}
```

```text
error: This arm never runs
 --> main.jadpo:5:9
  |
4 |         _ -> label
  |         - matches everything left
5 |         "quiet" -> "QUIET"
  |         ^^^^^^^ after `_`
  reason: `_` matches every value the arms above it don't, so no arm after it runs.
  next: Move this arm above `_` (agent)
  rule: type.match_unreachable_pattern
  help: https://jadpo.dev/docs/errors/type.match_unreachable_pattern

check failed: 1 error, 2 files
```