Struct Assertion
struct Assertion { ... }
A single zero-width assertion.
Fields
span: SpanThe span of this assertion.
kind: AssertionKindThe assertion kind, e.g.,
\bor^.
Implementations
impl Clone for Assertion
fn clone(self: &Self) -> Assertion
impl Debug for Assertion
fn fmt(self: &Self, f: &mut Formatter<'_>) -> Result
impl Eq for Assertion
impl Freeze for Assertion
impl PartialEq for Assertion
fn eq(self: &Self, other: &Assertion) -> bool
impl RefUnwindSafe for Assertion
impl Send for Assertion
impl StructuralPartialEq for Assertion
impl Sync for Assertion
impl Unpin for Assertion
impl UnsafeUnpin for Assertion
impl UnwindSafe for Assertion
impl<T> Any for Assertion
fn type_id(self: &Self) -> TypeId
impl<T> Borrow for Assertion
fn borrow(self: &Self) -> &T
impl<T> BorrowMut for Assertion
fn borrow_mut(self: &mut Self) -> &mut T
impl<T> CloneToUninit for Assertion
unsafe fn clone_to_uninit(self: &Self, dest: *mut u8)
impl<T> From for Assertion
fn from(t: T) -> TReturns the argument unchanged.
impl<T> ToOwned for Assertion
fn to_owned(self: &Self) -> Tfn clone_into(self: &Self, target: &mut T)
impl<T, U> Into for Assertion
fn into(self: Self) -> UCalls
U::from(self).That is, this conversion is whatever the implementation of
[From]<T> for Uchooses to do.
impl<T, U> TryFrom for Assertion
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
impl<T, U> TryInto for Assertion
fn try_into(self: Self) -> Result<U, <U as TryFrom<T>>::Error>