章节【失效的可变性】示例请教

[shenshouer]

失效的可变性 中最后的例子给出的提示是不是有错误？
提示内容如下图

如果修改成下面的代码:

fn main() {
    let mut a: A = A {
        f1: 0,
        f2: 1,
        f3: 2,
    };
    let b: B = B { f1: 3, a: &mut a };
    // b.a.f1 += 1;
    a.f1 = 10;

    println!("b is {:?} ", &b);
}

只保留 a.f1 = 10;是不是一样会给出报错？
原因是：定义了一个可变变量a, 并将a赋值给了b变量的字段，这个时候存在了2个可变引用，如果不再引用使用a变量的话, 根据NLL规则，a的生命周期因该在赋值给变量b后就失效了。而修改后的代码将继续使用a变量造成a的生命周期一直持续到当前为止(甚至到main结束), 此时变量a与变量b有重叠生命周期，这重叠生命周期中存在两个a的可变引用，因此应该报错

[shenshouer]

@sunface 大佬，不知道我的理解是否正确，求教