Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the intricacies of MIR (Mid-level Intermediate Representation) formality in Rust programming, focusing on the coherence overlap check. Delve into this hour-long walkthrough to gain a deeper understanding of Rust's internal mechanisms and how they contribute to the language's robustness and safety features.
Syllabus
MIR Formality Walkthrough -- coherence overlap check (2022-08-17)
Taught by
Rust