leo/tests/parser/functions/bounded_recursion.leo

/*
namespace: Parse
expectation: Pass
*/

function x(constant y: u32) -> u8 {
    if y < 5u32 {
        x(y+1u32);
    }
}

function main(y: bool) -> bool {
    x(1u32);
    return y;
}