A Mir Formality walkthrough (2022-06-29) | Rust Programming Language | Podwise