Jan 19
Loading video player...
-Znext-solver: what, why, and when - lcnr at EuroRust 2025 The type system of Rust is one of its main selling points. Users rely on it being correct, expressive, and performant. We currently sometimes fail to uphold these requirements even as many maintainers have been steadily improving it over the last 10 years.There are still many rough edge cases, difficult to support features, and performance pitfalls. To tackle all of these issues, a more significant change is needed. For this, the Types Team has have been working on a replacement of its core component for the last few years: the next-generation trait solver. The talk explores the reasons it exists, the largest challenges, as well as the status quo and the remaining future work. Speaker lcnr Types Team and Trait System Refactor Initiative lead. -------------------- EuroRust 2026 – Get your ticket for EuroRust 2026 now and join us in Barcelona! 👉 https://eurorust.eu EuroRust is organized by Mainmatter, experts in Rust and distributed systems 👉 https://mainmatter.com/rust/