Можно ли полностью описать время жизни Rust с помощью системы вариаций типов?

Насколько я понимаю, вариация — это конструкция системы типов, на основе которой компилятор мог бы реализовать большую часть предполагаемой семантики всей идеи всего жизненного цикла просто на чисто уровне системы типов, как показано в примере, приведенном в nomicon: assign Функция хочет получить конкретный тип T для своих двух входных аргументов, но найти его невозможно, поскольку &mut T инвариантен относительно T. Все идет нормально.

fn assign<T>(input: &mut T, val: T) {
    *input = val;
}

fn main() {
    let mut hello: &'static str = "hello";
    {
        let world = String::from("world");
        assign(&mut hello, &world);
    }
    println!("{hello}"); // use after free 😿
}

А как насчет этого фрагмента?

fn main() {
    let mut s = String::from("outer");
    let mut v = Vec::new();
    v.push(&mut s);
    {
        let mut s = String::from("inner");
        v.push(&mut s);
    }

    // code compiles iff this line is commented out
    // what does variance have to say about this `println!`?
    println!("{:?}", v);
}

Я понял, что из-за того, что &'a mut T ковариантен по отношению к 'a, Rust может выполнить разрешение типов, чтобы определить, что вектор действительно является чем-то вроде Vec<&'inner mut String>, то есть конкретный тип T в Vec<T> равен &'inner mut String, в результате чего внутренний блок компилируется, но как именно компилируется система вариантов определяет, что строка println! неуместна? Другими словами, мой вопрос заключается в том, что, насколько я понимаю, дисперсия заключается в том, что система типов выполняет разрешение типов, а это означает, что она применима, если существует несколько типов, и мы хотели бы посмотреть, можно ли их привести к одному и тому же типу, но println! не имеет другого типа для сравнения.

Или, может быть, дисперсия — это еще не вся картина, и в конечном итоге мы будем полагаться на какую-то другую семантику времени жизни, чтобы определить, является ли код валидным Rust? Вдобавок ко всему, вся идея подтипа, на которой основана дисперсия, также в конечном итоге вытекает из того, что время жизни покрывается каким-то другим временем жизни...

Кстати, что такое модель памяти и что значит сказать, что в Rust ее сейчас нет?