3 ms·

I agree, it would probably be trivial. It's mostly a language/library design issue, not a type-systems research problem.

• steveklabnik 12y ago
  You're talking about linear types, Rust implements affine types. They're very similar.