// 在manager字段中对于第一个'a它是协变的, 对于第二个'a, 由于mut的原因, Manager<'a>是不变的, 所以'a是不变的,因此整体是不变的
struct Interface<'a> {
    manager: &'a mut Manager<'a>,
}

impl<'a> Interface<'a> {
    pub fn noop(self) {
        println!("interface consumed");
    }
}

// 在text字段中'a是协变的, 因此Manager对于'a是协变的
struct Manager<'a> {
    text: &'a str,
}

// 同理对于List来说, 在'a上是协变的
struct List<'a> {
    manager: Manager<'a>,
}

impl<'a> List<'a> {
    // 这个方法由于Interface对其生命周期参数是不变的, 导致'a是不变的, 又由于'a与List绑定, 导致对List的&mut(可变借用)会与List本身一致
    pub fn get_interface(&'a mut self) -> Interface<'a> {
        Interface {
            manager: &mut self.manager,
        }
    }
}

fn main() {
    let mut list = List {
        manager: Manager { text: "hello" },
    };

    // 按道理来说这里返回的匿名Interface应该会在这一行后直接被drop掉, 因此list也应该被drop掉(见get_interface注释)
    // 但是实际上下面的use_list(&list)的报错是list被可变借用了, 不能再被借用
    // 因此我是否可以认为这个那个逆名的Interface没有被dro掉, 它保持到了use_list(&list)的结束
    list.get_interface().noop();

    println!("Interface should be dropped here and the borrow released");

    use_list(&list);
}

fn use_list(list: &List) {
    println!("{}", list.manager.text);
}

这个理解是否正确, 请佬教一下我