I'm very curious about this. Getting the Rust compiler to handle memory correctly took years one complete refactoring of the type system, and a number of less

I'm very curious about this. Getting the Rust compiler to handle memory correctly took years one complete refactoring of the type system, and a number of less major changes before Rust reached version 1.0. Even after that, the borrowing system has regularly been refined to become gradually more intuitive and more powerful. Do you have precise plans for this feature? If they're written somewhere, I'm quite interested :)