Тут проще написано если хочешь понять, хоть и длиннее https://habr.com/ru/post/350372/

Можно и так сказать - в расте реализованы афинные типы. Что это значит на практике:
    let mut f = File::create("foo.txt")?;
    f.write(b"some bytes")?;
    drop(f); // Освободить объект f
    f.write(b"some bytes")?; // Тут будет ошибка на стадии компиляции
т.е. это поведение ты получаешь для всех типов в т.ч. и пользовательских. Без проверок в рантайме, без дополнительного оверхеда, уже на стадии компиляции.

f также будет освобождено если выйдет за пределы видимости:
    {
         let mut f = File::create("foo.txt")?;
         f.write(b"some bytes")?;
    } // После блока f будет освобождено
    f.write(b"some bytes")?; // Тут будет ошибка на стадии компиляции

Также нельзя например по ошибке дважды закрыть файл.