1 files changed, 0 insertions, 11 deletions

diff --git a/src/test/ui/issues/issue-1257.rs b/src/test/ui/issues/issue-1257.rs
deleted file mode 100644
index de5a6d359..000000000
--- a/src/test/ui/issues/issue-1257.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-// run-pass
-// pretty-expanded FIXME #23616
-
-pub fn main () {
-  let mut line = "".to_string();
-  let mut i = 0;
-  while line != "exit".to_string() {
-    line = if i == 9 { "exit".to_string() } else { "notexit".to_string() };
-    i += 1;
-  }
-}