Rust の型システム大改革：移動不可・破棄必須の型を言語レベルで実現へ

要約

Rust プロジェクトは、すべての型がメモリ移動 (move) と破棄忘却 (mem::forget) 可能という歴史的仮定を緩和する新しいトレイト階層を提案した。Move・Destruct・Forget といった明示的なトレイトを導入し、型がこれらの操作をオプトアウトできるようにする。これにより、自己参照型の安全な表現が Pin より単純になり、スコープ内の非同期タスク安全実行 (scoped spawn) など現在は不可能なパターンが実現する。この提案は Sized 階層の前例に倣い、型システムの普遍的仮定を段階的に廃止する取り組みの一環である。2026 年は MVP コンパイラ実装・RFC 策定・Linux Kernel での実証を計画している。