1 files changed, 39 insertions, 0 deletions
diff --git a/src/test/ui/statics/static-mut-xc.rs b/src/test/ui/statics/static-mut-xc.rs
new file mode 100644
index 000000000..1d172d26a
--- /dev/null
+++ b/src/test/ui/statics/static-mut-xc.rs
@@ -0,0 +1,39 @@
+// run-pass
+#![allow(non_upper_case_globals)]
+
+// Constants (static variables) can be used to match in patterns, but mutable
+// statics cannot. This ensures that there's some form of error if this is
+// attempted.
+
+// aux-build:static_mut_xc.rs
+
+
+extern crate static_mut_xc;
+
+unsafe fn static_bound(_: &'static isize) {}
+
+fn static_bound_set(a: &'static mut isize) {
+    *a = 3;
+}
+
+unsafe fn run() {
+    assert_eq!(static_mut_xc::a, 3);
+    static_mut_xc::a = 4;
+    assert_eq!(static_mut_xc::a, 4);
+    static_mut_xc::a += 1;
+    assert_eq!(static_mut_xc::a, 5);
+    static_mut_xc::a *= 3;
+    assert_eq!(static_mut_xc::a, 15);
+    static_mut_xc::a = -3;
+    assert_eq!(static_mut_xc::a, -3);
+    static_bound(&static_mut_xc::a);
+    static_bound_set(&mut static_mut_xc::a);
+}
+
+pub fn main() {
+    unsafe { run() }
+}
+
+pub mod inner {
+    pub static mut a: isize = 4;
+}