Valen 的内存安全：一种全新的借用检查方式

Valen 语言推出了一种更灵活的新型借用检查器，核心基于 Nick Smith 的"Group Borrowing"提案。该方案通过让编译器记录引用指向的位置，把传统的"共享即不可变"放宽为"无 use-after-free"，从而在零运行时开销的前提下支持同一对象的多引用写入、嵌套参数写入等此前借用检查难以处理的模式，并能与 Rust 代码互操作。