rustc: Move mut slice check to `check_static`

This is a follow-up patch that moves the mut slice check to the recently
added `check_static`

Closes #11411

2 files changed, 7 insertions, 2 deletions

diff --git a/src/test/compile-fail/issue-11411.rs b/src/test/compile-fail/check-static-immutable-mut-slices.rs
index 4ccee2b40c1..73ce488cbc6 100644
--- a/src/test/compile-fail/issue-11411.rs
+++ b/src/test/compile-fail/check-static-immutable-mut-slices.rs
@@ -8,6 +8,9 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-static TEST: &'static mut [int] = &mut []; //~ ERROR mutable slice is not allowed
+// Checks that immutable static items can't have mutable slices
 
-fn main() { }
+static TEST: &'static mut [int] = &mut [];
+//~^ ERROR static items are not allowed to have mutable slices
+
+pub fn main() { }
diff --git a/src/test/run-pass/issue-11411.rs b/src/test/run-pass/check-static-mut-slices.rs
index e0da80702d7..af25c43005d 100644
--- a/src/test/run-pass/issue-11411.rs
+++ b/src/test/run-pass/check-static-mut-slices.rs
@@ -8,11 +8,13 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// Checks that mutable static items can have mutable slices
 
 static mut TEST: &'static mut [int] = &mut [1];
 
 pub fn main() {
     unsafe {
         TEST[0] += 1;
+        assert_eq!(TEST[0], 2);
     }
 }