Did You Mean a Hyphen?: How rustc Repairs Unicode Confusables While Parsing
rustc repairs unicode confusables by looking them up in a static table, substituting the ASCII token and continuing to parse, so recovery costs nothing extra.
Diagnostics
rustc's Trait Solver Doesn't Write Error Messages: It Writes Proof Trees
rustc’s next-gen trait solver never constructs error messages while solving; it records a proof tree and replays it later, with caches bypassed, to find the real cause of a …
The Borrow Checker Blames the Most Interesting Constraint: BFS, Then a Ranking
rustc finds the blame for a lifetime error with a breadth-first search for the shortest constraint path, then ranks constraints by how interesting they are for diagnostics and …