From 5c563f98b89434eb0aada9a65f256df74d63befc Mon Sep 17 00:00:00 2001
From: varkor <github@varkor.com>
Date: Mon, 25 Feb 2019 23:07:12 +0000
Subject: [PATCH] Add a test for #10876

---
 src/test/ui/borrowck/issue-10876.rs | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 src/test/ui/borrowck/issue-10876.rs

diff --git a/src/test/ui/borrowck/issue-10876.rs b/src/test/ui/borrowck/issue-10876.rs
new file mode 100644
index 0000000000000..d8fff5f17760a
--- /dev/null
+++ b/src/test/ui/borrowck/issue-10876.rs
@@ -0,0 +1,19 @@
+// run-pass
+
+#![feature(nll)]
+
+enum Nat {
+    S(Box<Nat>),
+    Z
+}
+fn test(x: &mut Nat) {
+    let mut p = &mut *x;
+    loop {
+        match p {
+            &mut Nat::Z => break,
+            &mut Nat::S(ref mut n) => p = &mut *n
+        }
+    }
+}
+
+fn main() {}