>>319の論文を見たけど、regionをそのままlifetimeと読み替えれば論文でのセマンティクスは成立してるね
したがって、Rustはコンパイル時点でメモリ安全性を保証できることを意味してる、で合ってるね