解析

この部では、コードのさまざまなプロパティをチェックし、後続のステージに情報を提供するためにコンパイラーが使用する多くの解析について説明します。一般に、これは人々が「Rust の型システム」について話すときに意味するものです。これには、型の表現、推論、検査、トレイトシステム、借用チェッカーが含まれます。これらの解析は、1 つの大きなパスや連続したパスの集合として実行されるわけではありません。むしろ、コンパイルプロセスのさまざまな部分に分散しており、異なる中間表現を使用します。たとえば、型検査は HIR 上で行われる一方、借用検査は MIR 上で行われます。それでも、説明の都合上、このガイドのこの部では、これらすべての解析について説明します。