1 files changed, 0 insertions, 13 deletions
diff --git a/src/test/ui/type/type-ascription-soundness.rs b/src/test/ui/type/type-ascription-soundness.rs
deleted file mode 100644
index 08316cdcd..000000000
--- a/src/test/ui/type/type-ascription-soundness.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-// Type ascription doesn't lead to unsoundness
-
-#![feature(type_ascription)]
-
-fn main() {
-    let arr = &[1u8, 2, 3];
-    let ref x = type_ascribe!(arr, &[u8]);      //~ ERROR mismatched types
-    let ref mut x = type_ascribe!(arr, &[u8]);  //~ ERROR mismatched types
-    match type_ascribe!(arr, &[u8]) {           //~ ERROR mismatched types
-        ref x => {}
-    }
-    let _len = type_ascribe!(arr, &[u8]).len();              //~ ERROR mismatched types
-}