rust/tests/ui/issues/issue-13482-2.rs

// 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)
    };
}
rename to verbose-internals 2023-12-19 17:39:58 +00:00			`// compile-flags:-Z verbose-internals`
Always drop var IDs from type variables modulo -Z verbose, per PR discussion 2014-10-29 20:20:06 +00:00
			`fn main() {`
			`let x = [1,2];`
			`let y = match x {`
implement RFC495 semantics for slice patterns non-MIR translation is still not supported for these and will happily ICE. This is a [breaking-change] for many uses of slice_patterns. 2016-03-11 10:54:59 +00:00			`[] => None, //~ ERROR pattern requires 0 elements but array has 2`
Always drop var IDs from type variables modulo -Z verbose, per PR discussion 2014-10-29 20:20:06 +00:00			`[a,_] => Some(a)`
			`};`
			`}`