Rust project goals: Immobile types and guaranteed destructors
Summary
This article outlines a Rust project goal to introduce immobile types and guaranteed destructors by introducing Move and Forget auto traits that let types opt out of moving or forgetting. It covers motivation, design options, and a plan for MVPs, RFCs, and Linux kernel testing to validate viability.