Не могу понять, почему этот код работает согласно правилам владения

У меня есть следующий код

use euclid::Vector3D;

fn main() {
    fn add_vectors<Unit>(a: Vector3D::<f64, Unit>, b: Vector3D::<f64, Unit>) -> Vector3D::<f64, Unit> {
        // I take ownership of `a` and `b`.
        Vector3D::<f64,Unit>::new(a.x+b.x, a.y+b.y, a.z+b.z) // Explicitly create a new vector, and return it together with its ownership.
    } // `a` and `b` go out of scope, they are dropped.
    enum Meters {}
    let v1 = Vector3D::<f64,Meters>::new(1., 2., 3.);
    let v2 = Vector3D::<f64,Meters>::new(1., 2., 3.);
    // Up to here, `main` is the owner of `v1` and `v2`.
    println!("Added: {:?}", add_vectors(v1,v2)); // Ownership is transferred to `add_vectors`.
    println!("Original vectors: {:?} and {:?}", v1, v2); // `v1` and `v2` should have been dropped by now.
}

который компилируется без предупреждений и запускается, как и следовало ожидать в Python. Однако это Rust, и я не понимаю, как второй println! может использовать v1 и v2, учитывая, что, согласно моему пониманию из владения (Rust book), это невозможно. Вот мои рассуждения:

1. add_vectors получает сами векторы, а не ссылки. Следовательно, он берет на себя ответственность за них.
2. В теле add_vectors явно создается и возвращается новый Vector3D::<f64,Unit>.
3. Когда add_vectors достигает конца, a и b выходят за пределы области видимости, поэтому они удаляются.
4. Теперь v1 и v2 больше не существует.

(Я только изучаю Rust, извините, если ответ слишком очевиден, и я его не вижу.)