1 files changed, 16 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-8727.rs b/src/test/ui/issues/issue-8727.rs
new file mode 100644
index 000000000..a9b812661
--- /dev/null
+++ b/src/test/ui/issues/issue-8727.rs
@@ -0,0 +1,16 @@
+// Verify the compiler fails with an error on infinite function
+// recursions.
+
+// build-fail
+// normalize-stderr-test: ".nll/" -> "/"
+
+fn generic<T>() { //~ WARN function cannot return without recursing
+    generic::<Option<T>>();
+}
+//~^^ ERROR reached the recursion limit while instantiating `generic::<Option<
+
+
+fn main () {
+    // Use generic<T> at least once to trigger instantiation.
+    generic::<i32>();
+}