From 0ad3b1c9bf55a93db75136cfed58975b3bbb5ff2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 4 Apr 2020 16:57:54 +0200
Subject: [PATCH] add test

---
 src/test/ui/consts/const-eval/issue-70723.rs     | 5 +++++
 src/test/ui/consts/const-eval/issue-70723.stderr | 9 +++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 src/test/ui/consts/const-eval/issue-70723.rs
 create mode 100644 src/test/ui/consts/const-eval/issue-70723.stderr

diff --git a/src/test/ui/consts/const-eval/issue-70723.rs b/src/test/ui/consts/const-eval/issue-70723.rs
new file mode 100644
index 000000000000..8b79d5d53c5c
--- /dev/null
+++ b/src/test/ui/consts/const-eval/issue-70723.rs
@@ -0,0 +1,5 @@
+#![feature(const_loop)]
+
+static _X: () = loop {}; //~ ERROR could not evaluate static initializer
+
+fn main() {}
diff --git a/src/test/ui/consts/const-eval/issue-70723.stderr b/src/test/ui/consts/const-eval/issue-70723.stderr
new file mode 100644
index 000000000000..687d6565a716
--- /dev/null
+++ b/src/test/ui/consts/const-eval/issue-70723.stderr
@@ -0,0 +1,9 @@
+error[E0080]: could not evaluate static initializer
+  --> $DIR/issue-70723.rs:3:17
+   |
+LL | static _X: () = loop {};
+   |                 ^^^^^^^ exceeded interpreter step limit (see `#[const_eval_limit]`)
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0080`.