Rust Project Goals: Immobile Types and Guaranteed Destructors
Rust redefines type capabilities, allowing immobile types and guaranteed destructors for async tasks.
Rust has traditionally assumed that all types can be moved and forgotten. The new proposal allows types to opt out of these capabilities, enabling important features like async tasks and safe scoped spawning. This change aims to enhance Rust's type system and will be validated through real-world testing.