3 ms·

Ownership is used for more than just memory management though, concurrent memory access for example.

• tom_mellior 10y ago
  True! I wasn't thinking beyond verification of single-threaded programs, which is hard enough as it is ;-)