(Almost) Everything You Should Know About The Compiler Frontend - Michael Goulet aka compiler-errors

Rustc’s frontend has various stages, phases, contexts and IRs, with the code going through transformations and acquiring invariants that build up to ensure the compiler is well equipped to do its analysis that underpins Rust’s guarantee of soundness and correctness. While many contributors interact directly with the compiler’s frontend, it’s not always easy to understand why things are set up the way they are, and reverse-engineering the bigger picture is a daunting task to do alone. Come spelunking through the surprisingly deep caves that are the compiler’s frontend — from parsing to MIR optimization — while I try to motivate each step’s existence, explain its general philosophy, constraints and problem-solving approaches, point out its quirks (in the code!), and hopefully help you appreciate the complexity of the compiler a bit more.

You can find Michael on:
GitHub: https://github.com/compiler-errors
Bluesky: https://bsky.app/profile/errs.io
Website: https://errs.io/

This talk was given at Rust Week 2025, in Utrecht, The Netherlands.

Playlist of other talks from Rust Week 2025:    • RustWeek 2025 - All talks  

Want to come to Rust Week 2026 in-person? go to https://2026.rustweek.org