Struct konst_kernel::type_eq::TypeEq

pub struct TypeEq<L: ?Sized, R: ?Sized>(_);

Implementations

impl<L: ?Sized> TypeEq<L, L>

pub const NEW: Self = _

Constructs a TypeEq<L, L>.

impl TypeEq<(), ()>

pub const fn new<T: ?Sized>() -> TypeEq<T, T>

Constructs a TypeEq<T, T>.

impl<L: ?Sized, R: ?Sized> TypeEq<L, R>

pub const fn flip(self) -> TypeEq<R, L>

Swaps the type parameters of this TypeEq

pub const unsafe fn new_unchecked() -> TypeEq<L, R>

Constructs a TypeEq<L, R>.

Safety

You must ensure that L is the same type as R, layout equivalence is not enough.

impl<L, R> TypeEq<L, R>

pub const fn reachability_hint<T>(self, val: T) -> T

Hints to the compiler that a TypeEq<L, R> can only be constructed if L == R.

This function takes and returns val unmodified. This allows returning some value from an expression while hinting that L == R.

pub const fn to_right(self, from: L) -> R

A no-op cast from L to R

Having a TypeEq<L, R> value proves that L and R are the same type.

pub const fn to_left(self, from: R) -> L

A no-op cast from R to L

Having a TypeEq<L, R> value proves that L and R are the same type.

Trait Implementations

impl<L: ?Sized, R: ?Sized> Clone for TypeEq<L, R>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L: ?Sized, R: ?Sized> Copy for TypeEq<L, R>