Reaching Const Evaluation Singularity with Miri in Rust

Explore the world of Rust's const evaluation in this 23-minute conference talk from FOSDEM 2018. Dive into the design and usage of miri, the Rust interpreter that has been merged into rustc as its new const evaluator. Discover how this merge has not only fixed various bugs but also paved the way for exciting new features. Learn about the possibilities of performing for loops in constants and parsing TOML files into static Config structs with compile-time error reporting. Gain insights into miri's design, its application in compile-time evaluation, and potential future enhancements. The speaker, Oliver Schneider, a PhD student in Software Engineering and Rust tools peer, shares his expertise on this topic. The talk covers introductory concepts, trust issues, side effects, future work, and related RFCs, concluding with a Q&A session.