Destructuring slices

[pfalabella]

The intention of the second arm of the match below is to match slices with one element only (in this case only the second element in vects should match).

    let vects= [&[1u, 2, 3], &[1], &[]];

    for &vec in vects.iter() {
        let msg= match vec {
            [] => format!("empty"),
            [a]  => format!("only one element: {}", a),
            [a, ..rest] => format!("many elements, first is {}, then there are {}", a, rest) // this is unreachable?
        };

However the compiler complains that the third arm is now unreachable.

The workaround is transforming the second arm in [a,..rest] if rest==[] but I was advised on the #rust IRC channel that the [a] should work and that this is a bug.

[alexcrichton]

cc @jakub-, I think there's an issue open for this already? Perhaps #15104?

[ghost]

@alexcrichton Yes. And a PR for it as well #15186. :-)

[ghost]

This is fixed now.

[alexcrichton]

Nice work @jakub-!