I’ve been heavily involved with Rust since 2016 and have encountered several surprising limitations of the borrow checker while working professionally with it since 2021. I’ve shared insights on common issues like checking and returning values from a hashmap, limitations with async functions, and problems with reborrowing captures in closures. Additionally, I discussed the Send checker not being control flow aware, causing issues when trying to move code off the main thread into a separate task. These limitations demonstrate that while Rust’s type system is powerful, there are still occasional surprises and areas for improvement, especially concerning async Rust functionality.
https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html