Rust の所有権を GC と呼ぶの違和感がある、なぜならアレはオブジェクトがゴミとして放置されることがないシステムなので根本的に "Collect" する必要がないため
スコープから抜けると破棄される自動変数の仕組みを「GC」と呼んでいる人は見たことがない気がするし、所有権システムも根本的には似たようなものだと思うのよね
スコープだけでなく別のオブジェクトによっても延命できるようになっただけで、結局のところ「オブジェクトがどのタイミングで破棄できるようになるのか実行前に判明している」というものなので