Incorrect result when using match on tuple with slice

[retep998]

This causes bad to be output

fn main() {
    let x = (2i, &[1i, 2i]);
    match x {
        (0, [_, _]) => {},
        (1, _) => {},
        (2, [_, _]) => println!("good"),
        (2, _) => println!("bad"),
        _ => {},
    }
}

Deleting either (0, [_, _]) => {}, or (1, _) => {}, causes it to output good.

[alexcrichton]

cc @jakub-, nominating

[ghost]

Yeah, this is insane. I'll take a stab at rewriting the decision tree compilation this weekend.

[pnkfelix]

While this is indeed insane, it is "just a bug", and not going to block the 1.0 release. (It is/was borderline for P-backcompat-lang though...)

P-high, not 1.0 milestone.