# E0142

An `@` binding such as `v @ Some(_)`.

**Machine-applicable fix:** none.

## Example

This program fails with `E0142`.

```oska
fn show(x: Option<Int>) -> Int {
    match x {
        v @ Some(_) => 1
        None => 0
    }
}
```

## Fixed

The same program, fixed.

```oska
fn show(x: Option<Int>) -> Int {
    match x {
        Some(_) => 1
        None => 0
    }
}
```

Listed in the [checker notes](/checker.md#e0142). `oskac explain E0142` prints this entry offline.