Struct tstr::asserts::Assert

source · 
pub struct Assert<A, B>(/* private fields */);
Expand description

For asserting the (in)equality of two type-level strings.

§Warning

From testing the associated constants from this type, these assertions might not be evaluated in functions that aren’t reachable by public functions.

§Examples

For examples, you can look at each associated constant below.

Auto Trait Implementations§

§

impl<A, B> Freeze for Assert<A, B>

§

impl<A, B> RefUnwindSafe for Assert<A, B>
where A: RefUnwindSafe, B: RefUnwindSafe,

§

impl<A, B> Send for Assert<A, B>
where A: Send, B: Send,

§

impl<A, B> Sync for Assert<A, B>
where A: Sync, B: Sync,

§

impl<A, B> Unpin for Assert<A, B>
where A: Unpin, B: Unpin,

§

impl<A, B> UnwindSafe for Assert<A, B>
where A: UnwindSafe, B: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.