The Rust Borrow Checker - A Deep Dive

Dive deep into the Rust compiler's borrow checker in this 22-minute conference talk by Nell Shamrell-Harrington from Microsoft. Explore how the borrow checker ensures safe Rust code and provides automated guidance for writing secure programs. Learn to transition from struggling with the borrow checker to leveraging its insights for creating safer and more powerful code, regardless of your experience level. Gain a comprehensive understanding of the borrow checker's functionality, implementation, and significance in Rust's technical framework and philosophy. The talk covers key topics including lexical analysis, HIR analysis, semantic analysis, the Rust compiler, and lifetime inference, offering valuable insights for Rust developers at all levels.

Introduction
Overview
Running the Code
Lexical Analysis
HIR Analysis
Semantic Analysis
Rust Compiler
Lifetime Inference