Rust可以在编译时检测到可能的堆栈溢出吗？

Question

Rust是否可以在编译时检测到可能的堆栈溢出？我发现它可以优化尾部递归，但是通用递归会导致运行时错误：

fn rec(mut i: i32) {
    i = i - 1;
    if i > 0 {
        rec(i);
    }
    println!("{}", i);
}

fn main() {
    rec(100000000);
}