From d984f127f662f7a1fcf0472230a1b64fcc3325d5 Mon Sep 17 00:00:00 2001 From: Mazdak Farrokhzad Date: Sun, 19 Jan 2020 02:47:01 +0100 Subject: move_ref_patterns: introduce tests bindings_after_at: harden tests --- .../move-ref-patterns-default-binding-modes.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 src/test/ui/pattern/move-ref-patterns/move-ref-patterns-default-binding-modes.rs (limited to 'src/test/ui/pattern/move-ref-patterns/move-ref-patterns-default-binding-modes.rs') diff --git a/src/test/ui/pattern/move-ref-patterns/move-ref-patterns-default-binding-modes.rs b/src/test/ui/pattern/move-ref-patterns/move-ref-patterns-default-binding-modes.rs new file mode 100644 index 00000000000..5c51c47d979 --- /dev/null +++ b/src/test/ui/pattern/move-ref-patterns/move-ref-patterns-default-binding-modes.rs @@ -0,0 +1,16 @@ +#![feature(move_ref_pattern)] + +fn main() { + struct U; + + // A tuple is a "non-reference pattern". + // A `mut` binding pattern resets the binding mode to by-value. + + let p = (U, U); + let (a, mut b) = &p; + //~^ ERROR cannot move out of a shared reference + + let mut p = (U, U); + let (a, mut b) = &mut p; + //~^ ERROR cannot move out of a mutable reference +} -- cgit 1.4.1-3-g733a5