tests/ui/lint/lint-unconditional-recursion-tail-calls.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#![allow(incomplete_features, dead_code)]
#![deny(unconditional_recursion)] //~ note: the lint level is defined here
#![feature(explicit_tail_calls)]

fn f(x: bool) {
    //~^ error: function cannot return without recursing
    //~| note: cannot return without recursing
    if x {
        become f(!x)
    } else {
        f(!x) //~ note: recursive call site
    }
}

// This should *not* lint, tail-recursive functions which never return is a reasonable thing
fn g(x: bool) {
    if x {
        become g(!x)
    } else {
        become g(!x)
    }
}

fn main() {}