// { dg-output "correct\r*" }
extern "C" {
    fn puts(s: *const i8);
}

fn main() -> i32 {
    let arr = [0, 1];
    let a: &[i32] = &arr;
    let mut ret = 1;

    match a {
        [0, 0] => {
            /* should not take this path */
            unsafe { puts("wrong\0" as *const str as *const i8) }
        },
        [0, b] => {
            ret -= b;
            unsafe { puts("correct\0" as *const str as *const i8) }
        },
        _ => {}
    }

    ret
}