A Mir Formality Walkthrough 2022-04-20 | Rust Programming Language | Podwise