Система владения понятная. Все переменные - это либо значение в стеке (числа, символы, истина/ложь), либо структура в стеке с ссылкой на данные в куче (строка). Второй тип - это способ Rust управлять данными в куче и обезопасить нас от ошибок с кучей. При передачи в функцию значения в куче копируется ссылка на значение в куче, а не само значение. Также и при присвоении другой переменной. Rust следит, куча перемещалась ссылка, делая недействительной прошлую переменную.

Грубо говоря, при передачи кучи в функцию она уходит в неё "с концами" и надо делать return, иначе потеряешь значение. Другой вариант - передавать владение (является даже отдельным типом данных), тогда передаётся ссылка на ссылку на данные в куче. Тогда старая переменная остаётся рабочей, но данные через владения изменять нельзя. Если передать изменяемое владение, то Rust следит, чтобы всегда была только одна такая переменная. Всё.