[corroded update]: Rust--, now I removed the borrow checker from rust itself

528 points Consistent_Equal5327 93 comments

You may have seen the corroded lib. I've been thinking, why bother with unsafe code while I can just remove the borrow checker from the compiler entirely?

Now possible at the language level:

  • Move then use
  • Multiple mutable references
  • Mutable borrow then use original
  • Use after move in loops
  • Conflicting borrows

I've no idea where I'm going with this shit. But I think a lot of interesting stuff will pop up from this that I cannot think of at the moment.

Here is Rust-- for you, repo is here.

Happy new year. Enjoy.