pub trait FlipBack {
// Required method
fn extract(&self) -> BackState;
}Expand description
A black-box secondary engine that can only surface a locator for flip-back.
Secondaries implement FlipBack and never FlipDonor. That is the
charter’s no-chain invariant (§4) expressed in the type system: there is no path
to forward-donate a document to another secondary, so a flip is always one hop
(primary ↔ secondary), re-rooting at the lossless source rather than chaining.
Required Methods§
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".