a-mir-formality walkthrough (2022-07-06) | Rust Programming Language | Podwise