Formal details of Rust's borrow checker | Heykuki News