its funny how rust gets touted as safe
there's no math model of the type system, no proof at all that this borrow checker shit actually helps safety. it's just a guess.
and it's implemented in terms of LLVM, which is of course perfect so assuming the model is valid surely the LLVM output will be too
..and the fact that it's brand new doesn't mean anything. you know its safe because <
https://twitter.com/steveklabnik> says so. zero cost abstraction.