The user, a Rust expert, discusses four surprising limitations of Rust's borrow checker, including issues with hashmap lookups, async callbacks, and Send futures, which can be worked around but are still limitations of the type system. The user concludes that while Rust's type system is generally effective, occasional surprises and limitations can arise, and suggests that addressing these ...