Destructuring struct with dtor by-ref

[huonw]

struct A { x: uint }

impl Drop for A {
    fn finalize(&self) {}
}

fn main() {
    let a = A { x: 0 };

    let x = &a.x;

    match a {
        A { x : ref x } => {}
    }
}

dtor-struct.rs:13:8: 13:26 error: deconstructing struct not allowed in pattern (it has a destructor)
dtor-struct.rs:13         A { x : ref x } => {}
                          ^~~~~~~~~~~~~~~~~~
error: aborting due to previous error

The let and match seem to be morally identical, but one is invalid. (Making the match form valid makes syntax extensions/macros easier.)

(Caused #6341.)

[nikomatsakis]

should be ok so long as there are no by move bindings.

[emberian]

See #3874

[huonw]

(@cmr this is closed and fixed.)

[emberian]

There's a testcase referencing this issue that's xfailed and broken though