https://zenn.dev/ose20/articles/26cde561ded397

std::thread::spawn で見る Rust の unsafe の責務と型システム

この記事は、Rustの`std::thread::spawn`関数における`unsafe`の役割と型システムの健全性について考察します。

`spawn`に渡すクロージャのライフタイム制限が、型システムのどの部分から要請されるのかを調べます。

`unsafe`と型システムの健全性の関係について、具体的な例を交えながら解説します。