The struggle with Rust
Could the issues of rust be rectified with a better theorem proved that goes past &quot;2 things are touching this&quot;? I don&#x27;t think I&#x27;d mind if the compiler said &quot;your code will not work because eventually it will modify the same bytes at the same time and create an unpredictable state&quot; but I will mind if it says &quot;your not good because you have two mutable references.