1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/writealias.rs b/src/test/ui/writealias.rs
new file mode 100644
index 00000000000..8ba4b09ae29
--- /dev/null
+++ b/src/test/ui/writealias.rs
@@ -0,0 +1,19 @@
+// run-pass
+
+#![allow(dead_code)]
+
+use std::sync::Mutex;
+
+struct Point {x: isize, y: isize, z: isize}
+
+fn f(p: &mut Point) { p.z = 13; }
+
+pub fn main() {
+    let x = Some(Mutex::new(true));
+    match x {
+        Some(ref z) if *z.lock().unwrap() => {
+            assert!(*z.lock().unwrap());
+        },
+        _ => panic!()
+    }
+}