Valen 的内存安全：一种新型借用检查
Evan Ovadia 讲解 group borrowing，一种针对 Valen 的借用检查设计，它允许对同一对象不同部分的引用共存，并解释它如何将 shared-xor-mutable 放宽为 no use-after-free。
Evan Ovadia 讲解 group borrowing，一种针对 Valen 的借用检查设计，它允许对同一对象不同部分的引用共存，并解释它如何将 shared-xor-mutable 放宽为 no use-after-free。