summaryrefslogtreecommitdiffstats
path: root/src/test/ui/match/issue-27021.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/match/issue-27021.rs')
-rw-r--r--src/test/ui/match/issue-27021.rs28
1 files changed, 28 insertions, 0 deletions
diff --git a/src/test/ui/match/issue-27021.rs b/src/test/ui/match/issue-27021.rs
new file mode 100644
index 000000000..ef3b114a5
--- /dev/null
+++ b/src/test/ui/match/issue-27021.rs
@@ -0,0 +1,28 @@
+// run-pass
+
+// This test is bogus (i.e., should be check-fail) during the period
+// where #54986 is implemented and #54987 is *not* implemented. For
+// now: just ignore it
+//
+// ignore-test
+
+// These are variants of issue-26996.rs. In all cases we are writing
+// into a record field that has been moved out of, and ensuring that
+// such a write won't overwrite the state of the thing it was moved
+// into.
+//
+// That's a fine thing to test when this code is accepted by the
+// compiler, and this code is being transcribed accordingly into
+// the ui test issue-21232-partial-init-and-use.rs
+
+fn main() {
+ let mut c = (1, (1, "".to_owned()));
+ match c {
+ c2 => { (c.1).0 = 2; assert_eq!((c2.1).0, 1); }
+ }
+
+ let mut c = (1, (1, (1, "".to_owned())));
+ match c.1 {
+ c2 => { ((c.1).1).0 = 3; assert_eq!((c2.1).0, 1); }
+ }
+}