Исправление hateyoufeel, (текущая версия) :
Но ведь в Rust не linear typing.
Нет, но очень близко. В Haskell сейчас похожие вещи хотят через добавление Linear types сделать.
Алсо, тут [1] написано, что в Rust оно таки есть.
[1]: https://en.wikipedia.org/wiki/Substructural_type_system
Исходная версия hateyoufeel, :
Но ведь в Rust не linear typing.
Нет, но очень близко. В Haskell сейчас похожие вещи хотят через добавление Linear types сделать.