Rust 如何在不使用函数的情况下检测对局部变量的引用？

问：

假设一个函数返回一个对局部变量的悬空引用：

fn foo<'a>() -> &'a i32 {
    let i = 2;
    &i
}

fn main() { }

Rust 注意到了这一点并引发了一个错误。

添加生存期：

fn foo<'a>() -> &'a i32 {
    'b: {
        let i = 2;          // i has lifetime 'b
        &'c i
    }
}

Rust 推断，因为指的是 .此外，被实例化为 和 因此，因为返回类型是 ，返回值是 。我不明白为什么这里会发生错误，因为所有生命周期都可以用具体值实例化，而不会出现任何不匹配。'c = 'b&ii'a'c'b&'a i32&'c i32

如果是main

fn main() {
    'd: {
        let i_ref: &'d i32 = foo();    // foo() has lifetime 'b
    }
}

那么我们仍然会有 ，但是在 存在 lifetime 不匹配，因为不包含 。在这种情况下，我预计会出现错误。'a = 'c = 'bmain'b'd

在第一种情况下，Rust 如何在不调用的情况下检测悬空引用？foo