>>923
＞所有権があることが保証され最後まで自由に使うことができる
＞無効となる使い捨てなのでブロックの最後まで所有権がある保証はない
＞無効となり使えない

・ブロックの最後まで使えるかどうか
・drop時に特別な処理があるかどうか

どちらも所有権の話じゃないね
ownership とは「値の owner がスコープから外れたら値はdropされる」というルールです
そのdrop処理に特別な処理が追加されているかとか、ブロックが終わる前に無効になるとか関係ないです