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 {