jix.one

partial_ref

Tagged rust

The partial_ref library provides type checked partial references for Rust. Type checked partial references are one solution to solve interprocedural borrowing conflicts. The partial_ref library makes it possible to safely pass references to partially borrowed structures between functions. Such code would normally be rejected by Rust’s borrow checker.