3 ms·

Everything in this article already works (and has for quite some time). The author is using it in production.

• yoodenvranx 12y ago
  Yes, I know it is working for quite some time, I was more wondering if there are some hidden inherent problems lurking below the surface or if the theory behind rust is sound, e.g. some corner cases where it breaks down or result in undefined behaviour.
  • kibwen 12y ago
    There's not yet any formal model that proves that the borrow checker is sound, but such work is forthcoming.
    • dbaupp 12y ago
      https://github.com/nikomatsakis/rust-redex https://github.com/nikomatsakis/rust-redex