4 ms·

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

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