E0142

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

Machine-applicable fix: none.

Example

This program fails with E0142.

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

Fixed

The same program, fixed.

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

Listed in the checker notes. oskac explain E0142 prints this entry offline.

All error codes