From 0e29ea2d9ba4b196b0f513a4d3c111bde1cea4e9 Mon Sep 17 00:00:00 2001
From: Akosh Farkash <aakoshh@gmail.com>
Date: Wed, 16 Oct 2024 10:18:33 +0100
Subject: [PATCH] Example of mutual recursion

---
 compiler/noirc_frontend/src/tests.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/compiler/noirc_frontend/src/tests.rs b/compiler/noirc_frontend/src/tests.rs
index c29e8bc763..c365f8be2b 100644
--- a/compiler/noirc_frontend/src/tests.rs
+++ b/compiler/noirc_frontend/src/tests.rs
@@ -3470,6 +3470,18 @@ fn unconditional_recursion_pass() {
             if i == 0 { 0 } else { i + main(i-1) }
         }
         "#,
+        // Only immediate self-recursion is detected.
+        r#"
+        fn main() {
+            foo();
+        }
+        fn foo() {
+            bar();
+        }
+        fn bar() {
+            foo();
+        }
+        "#,
     ];
 
     for src in srcs {