Rust project goals: Immobile types and guaranteed destructors
Why it matters — This shifts immovability from a property of places (Pin) to a property of types, which could simplify self-referential data structures and unblock patterns like safe scoped spawn for async. Real-world validation is planned in the Linux kernel, indicating potential impact on systems-level Rust code.