Rust project goals: Immobile types and guaranteed destructors

The Rust project proposes introducing new traits like `Move` and `Forget` that allow types to opt out of being moved in memory or forgotten without running destructors, addressing issues with self-referential async futures and types requiring guaranteed cleanup. This change would simplify Pin's current approach to immobility and enable safe patterns like scoped task spawning for async code and guaranteed destructors for transaction types. The work is scheduled for 2026-2027 and will be validated through real-world testing in the Linux Kernel.