Struct core_extensions::type_asserts::AssertEq4

source · [−]

pub struct AssertEq4<A: ?Sized, B: ?Sized, C: ?Sized, D: ?Sized> where
    A: TypeIdentity<Type = B>,
    A: TypeIdentity<Type = C>,
    A: TypeIdentity<Type = D>, { /* private fields */ }

Available on crate feature type_asserts only.

Expand description

Asserts that its 4 type parameters are the same type.

This assertion is done on the type level, so let _: AssertEq4<A, B, C, D>; requires that A, B, C, and D must be the same type.

Example

use core_extensions::type_asserts::AssertEq4;

trait TypeParams {
    type First;
    type Second;
    type Third;
}

impl<A, B, C> TypeParams for (A, B, C) {
    type First = A;
    type Second = B;
    type Third = C;
}

type First<T> = <T as TypeParams>::First;

type Second<T> = <T as TypeParams>::Second;

type Third<T> = <T as TypeParams>::Third;

let _: AssertEq4<
    u32,
    First <(u32, (), ())>,
    Second<((), u32, ())>,
    Third <((), (), u32)>,
>;

let _ = AssertEq4::new(&0u32, &0u32, &0u32, &0u32);

Non-compiling

let _: AssertEq4<(), u32, u32, u32>;
let _ = AssertEq4::new(&(), &0u32, &0u32, &0u32);

let _: AssertEq4<u32, (), u32, u32>;
let _ = AssertEq4::new(&0u32, &(), &0u32, &0u32);

let _: AssertEq4<u32, u32, (), u32>;
let _ = AssertEq4::new(&0u32, &0u32, &(), &0u32);

let _: AssertEq4<u32, u32, u32, ()>;
let _ = AssertEq4::new(&0u32, &0u32, &0u32, &());

Implementations

impl<A> AssertEq4<A, A, A, A>

pub fn new(_: A, _: A, _: A, _: A) -> Self

Constructs an AssertEq4.

pub const NEW: Self = _

Constructs an AssertEq4.

Auto Trait Implementations

impl<A: ?Sized, B: ?Sized, C: ?Sized, D: ?Sized> RefUnwindSafe for AssertEq4<A, B, C, D> where
    A: RefUnwindSafe,
    B: RefUnwindSafe,
    C: RefUnwindSafe,
    D: RefUnwindSafe,

impl<A: ?Sized, B: ?Sized, C: ?Sized, D: ?Sized> Send for AssertEq4<A, B, C, D> where
    A: Send,
    B: Send,
    C: Send,
    D: Send,

impl<A: ?Sized, B: ?Sized, C: ?Sized, D: ?Sized> Sync for AssertEq4<A, B, C, D> where
    A: Sync,
    B: Sync,
    C: Sync,
    D: Sync,

impl<A: ?Sized, B: ?Sized, C: ?Sized, D: ?Sized> Unpin for AssertEq4<A, B, C, D> where
    A: Unpin,
    B: Unpin,
    C: Unpin,
    D: Unpin,

impl<A: ?Sized, B: ?Sized, C: ?Sized, D: ?Sized> UnwindSafe for AssertEq4<A, B, C, D> where
    A: UnwindSafe,
    B: UnwindSafe,
    C: UnwindSafe,
    D: UnwindSafe,

Blanket Implementations

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn as_phantom(&self) -> PhantomData<Self>

Available on crate feature phantom only.

Gets a PhantomData<Self>. Read more

fn as_phantom_covariant(&self) -> PhantomData<fn() -> Self>

Available on crate feature phantom only.

Gets a PhantomData<fn() -> Self>, a covariant PhantomData.

fn as_phantom_contra(&self) -> PhantomData<fn(_: Self)>

Available on crate feature phantom only.

Gets a PhantomData<fn(Self)>, a contravariant PhantomData.

fn as_phantom_invariant(&self) -> PhantomData<fn(_: Self) -> Self>

Available on crate feature phantom only.

Gets a PhantomData<fn(Self) -> Self>, an invariant PhantomData.

const PHANTOM: PhantomData<Self> = PhantomData

Available on crate feature phantom only.

Gets a PhantomData<Self>. Read more

const PHANTOM_COVARIANT: PhantomData<fn() -> Self> = PhantomData

Available on crate feature phantom only.

Constructs a PhantomData<fn() -> T>, a covariant PhantomData. Read more

const PHANTOM_CONTRA: PhantomData<fn(_: Self)> = PhantomData

Available on crate feature phantom only.

Gets a PhantomData<fn(Self)>, a contravariant PhantomData. Read more

const PHANTOM_INVARIANT: PhantomData<fn(_: Self) -> Self> = PhantomData

Available on crate feature phantom only.

Gets a PhantomData<fn(Self) -> Self>, an invariant PhantomData. Read more

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

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

fn ref_call<P>(&self, params: P) -> Self::Returns where
Self: CallRef<P>,

Available on crate feature callable only.

For calling CallRef::ref_call_, with the ability to specify the types of the arguments.. Read more

fn mut_call<P>(&mut self, params: P) -> Self::Returns where
Self: CallMut<P>,

Available on crate feature callable only.

For calling CallMut::mut_call_, with the ability to specify the types of the arguments.. Read more

fn into_call<P>(self, params: P) -> Self::Returns where
Self: Sized,
Self: CallInto<P>,

Available on crate feature callable only.

For calling CallInto::into_call_, with the ability to specify the types of the arguments.. Read more

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

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

const: unstable · 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.

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

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.