1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/match/issue-12552.rs b/src/test/ui/match/issue-12552.rs
deleted file mode 100644
index b7f71dd1c..000000000
--- a/src/test/ui/match/issue-12552.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-// this code used to cause an ICE
-
-fn main() {
-  let t = Err(0);
-  match t {
-    Some(k) => match k { //~ ERROR mismatched types
-      a => println!("{}", a)
-    },
-    None => () //~ ERROR mismatched types
-  }
-}