How the Rust Trait Solver Works (Chalk, GATs, Specialization)

The story of the tiny logic engine hiding inside rustc — and why it’s the real reason Rust feels “smart.”