Questions about partial borrow

1

Some questions I have about partial borrows, but didn't want to sidetrack Destructuring Droppable structs - #61 by Jules-Bertholet.

  1. partial-borrow crate has been found to be unsound by RustBelt, how does this reflect on partial borrows feature?
  2. In Yoshua Wuyts' latest blog (Further simplifying self-referential types for Rust) self-referential and partial types are mentioned. Are they sufficiently explored to ensure they don't cause unsound behavior?
  3. From my understanding, it might be possible to prove partial borrows are sound with a different model and/or set of assumptions, correct?
2

It doesn’t. The potential unsoundness is in the tricks the crate uses to emulate partial borrowing on stable Rust, not in partial borrowing itself.

4 Likes
3

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.