"Memory ownership model: an (opt-in) Cyclone/Rust-inspired memory ownership model is highly desired by systems programmers and for other high-performance applications that want predictable and deterministic performance"
I think it could be used to implement mechanism such as dispatch queues, which are for now implemented in C.