Ownership tracking should map well to GPU memory lifetimes. That's one place Rust has a real edge over C++.