Aliasing-xor-mutation WITHOUT borrow-checker

Hi, Rust experts! I've been pondering a question for a long time: is the borrow checker the only solution for achieving "aliasing XOR mutation" ? After years of exploration, I personally feel there might be other solutions to this problem. All the thinkings result in an experimental language zinc-lang · GitHub . Let me explain my design, and I would appreciate it if the experts here could point out any aspects I might have overlooked or failed to consider correctly. use RC to manage all heap ...