>>105767899
>>105767943
Some of the guarantees obviously rely on the operating system and runtime. Rust is not a managed language, it can run on bare metal and then it's up to you to ensure that this interaction will properly. Rust can ensure that the interactions within the language will be valid, but it can't really analyze what is happening outside of it.