pub enum DerivationDecision {
Valid,
Reject(DerivationReject),
}Expand description
Result of checking one derivation edge (L6 + L7).
Variants§
Trait Implementations§
Source§impl Clone for DerivationDecision
impl Clone for DerivationDecision
Source§impl Debug for DerivationDecision
impl Debug for DerivationDecision
impl Eq for DerivationDecision
Source§impl PartialEq for DerivationDecision
impl PartialEq for DerivationDecision
impl StructuralPartialEq for DerivationDecision
Auto Trait Implementations§
impl Freeze for DerivationDecision
impl RefUnwindSafe for DerivationDecision
impl Send for DerivationDecision
impl Sync for DerivationDecision
impl Unpin for DerivationDecision
impl UnsafeUnpin for DerivationDecision
impl UnwindSafe for DerivationDecision
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