//@ compile-flags:-Z verbose-internals
fn main() {
let x = [1,2];
let y = match x {
[] => None, //~ ERROR pattern requires 0 elements but array has 2
[a,_] => Some(a)
};
}