pub enum ForcedWalkOutcome {
Bounded(ForcedWalkEvidence),
NeverEntered(Box<NeverEnteredEvidence>),
}Expand description
Answer to a ForcedWalkRequest.
Variants§
Bounded(ForcedWalkEvidence)
The shortest walk entering the object is bracketed.
NeverEntered(Box<NeverEnteredEvidence>)
No walk to a target enters the object.
Trait Implementations§
Source§impl Clone for ForcedWalkOutcome
impl Clone for ForcedWalkOutcome
Source§impl Debug for ForcedWalkOutcome
impl Debug for ForcedWalkOutcome
Source§impl PartialEq for ForcedWalkOutcome
impl PartialEq for ForcedWalkOutcome
impl StructuralPartialEq for ForcedWalkOutcome
Auto Trait Implementations§
impl Freeze for ForcedWalkOutcome
impl RefUnwindSafe for ForcedWalkOutcome
impl Send for ForcedWalkOutcome
impl Sync for ForcedWalkOutcome
impl Unpin for ForcedWalkOutcome
impl UnsafeUnpin for ForcedWalkOutcome
impl UnwindSafe for ForcedWalkOutcome
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more