# Error code E0408

An "or" pattern was used where the variable bindings are not consistently bound across patterns.

Erroneous code example:

    #![allow(unused)]
    fn main() {
    match x {
        Some(y) | None => { /* use y */ } // error: variable `y` from pattern #1 is
                                          //        not bound in pattern #2
        _ => ()
    }
    }

Here, `y` is bound to the contents of the `Some` and can be used within the block corresponding to the match arm. However, in case `x` is `None`, we have not specified what `y` is, and the block will use a nonexistent variable.

To fix this error, either split into multiple match arms:

    #![allow(unused)]
    fn main() {
    let x = Some(1);
    match x {
        Some(y) => { /* use y */ }
        None => { /* ... */ }
    }
    }

or, bind the variable to a field of the same type in all sub-patterns of the or pattern:

    #![allow(unused)]
    fn main() {
    let x = (0, 2);
    match x {
        (0, y) | (y, 0) => { /* use y */}
        _ => {}
    }
    }

In this example, if `x` matches the pattern `(0, _)`, the second field is set to `y`. If it matches `(_, 0)`, the first field is set to `y`; so in all cases `y` is set to some value.