Rustの借用チェッカーを「エイリアス」で再定義する試み

An alias-based formulation of the borrow checker (2018)

Rustの借用チェッカーの新しい定式化を提案。従来のNLL解析では扱えないケースも処理できるプロトタイプを実装し、NLLテストスイートを通過。パフォーマンスは未最適化だが、将来の改善に期待。この提案はエンドユーザーには影響しないが、コンパイラの内部的な考え方を変え、将来の言語機能に影響を与える可能性がある。