partial_ref - Type checked partial references.
This crate provides type checked partial references for rust. Type checked partial references are one solution to solve interprocedural borrowing conflicts.
Soundness Issues
Since I initially wrote this library, Rust's unsafe code guarantees and
requirements have been mode more clear. I now believe that the current approach
used to implement this library is technically undefined behavior, although the
same technique is also used in other crates and so far does not cause issues in
practice. Right now there is no suitable alternative to implement this in
stable Rust, but when raw_const
and raw_mut
land I plan
to update this library, solving this issue.
Deprecation
I wrote this library for its use in Varisat. After making extensive use of this, I am not convinced that overall this is a good approach to solve interprocedural borrowing conflict issues. In particular I think the implementation is way too complex for the functionality it provides. I plan to eventually remove the use of this library from Varisat and will only maintain this library up to that point. Thus I do not recommend anyone building upon this.
Example
use *;
part!;
part!;
part!;
let mut g = default;
let mut g_ref = g.into_partial_ref_mut;
g_ref.part_mut.extend;
g_ref.part_mut.extend;
g_ref.part_mut.push;
g_ref.part_mut.push;
g_ref.part_mut.push;
let = g_ref.split_part_mut;
let = g_ref.split_part;
for in neighbors.iter_mut.zip
Documentation
License
The partial_ref source code is licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in partial_ref by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.