Rust has grown significantly in the last several years, in many metrics: users, contributors, features, tooling, documentation, and more. As it has grown, the list of things people want to do with the language has grown just as quickly. There are currently around 220 open tracking issues for language, compiler, or types features.
Table of contents
Background - How did we get here?The Types TeamFormalizing the Rust type systemClosing soundness holesNew featuresRoadmapConclusionSort: