我正在阅读《Rust》一书的生命周期章节，我遇到了这个命名/显式生命周期的示例：

struct Foo<'a> {
    x: &'a i32,
}

fn main() {
    let x;                    // -+ x goes into scope
                              //  |
    {                         //  |
        let y = &5;           // ---+ y goes into scope
        let f = Foo { x: y }; // ---+ f goes into scope
        x = &f.x;             //  | | error here
    }                         // ---+ f and y go out of scope
                              //  |
    println!("{}", x);        //  |
}                             // -+ x goes out of scope

我很清楚，编译器阻止的错误是在内部作用域完成后分配给 : 的引用的释放后使用，因此变得无效，并且不应该分配给.x``f``&f.x``x

我的问题是，这个问题可以很容易地在不使用显式 'a生命周期的情况下被分析掉，例如通过推断对更广泛范围的引用的非法分配（x = &f.x;）。

在哪些情况下实际上需要显式生命周期来防止释放后使用（或其他类？）错误？