The inconceivable types of Rust: How to make self-borrows safe (2024)