# `failure.reject_placement`

Reject is used inside an expression.

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

`reject` stops the callable, so it starts a statement or ends a `match` arm,
never part of a value (question 11):

```jadpo
type Count = Int {}

type CountRefused = Failure {
    kind: FailureKind.rejected
}

function capped(count: Count) fails CountRefused -> Count {
    var checked: Count = reject CountRefused
    return checked
}
```

```text
error: `reject` can only start a statement
 --> main.jadpo:8:26
  |
8 |     var checked: Count = reject CountRefused
  |                          ^^^^^^ inside an expression
  reason: Every place a callable can stop early is at the start of a line: `reject` is a statement of its own, or the result of a `match` arm, never part of a value.
  next: Move `reject` to a line of its own, under an `if` or as a `match` arm (agent)
  rule: failure.reject_placement
  help: https://jadpo.dev/docs/errors/failure.reject_placement

check failed: 1 error, 1 file
```