Struct type_equalities::IdF [−][src]
pub struct IdF;
The identity TypeFunction, ApF<IdF, T> == T. Coercing through this gives
us the basic safe transmute.
Trait Implementations
impl<A: ?Sized> TypeFunction<A> for IdF[src]
impl<A: ?Sized> TypeFunction<A> for IdF[src]type Result = A
type Result = AThe type that Arg is mapped to by the implementor.
Auto Trait Implementations
Blanket Implementations
impl<T> AliasSelf for T where
T: ?Sized, [src]
impl<T> AliasSelf for T where
T: ?Sized, [src]type Alias = T
type Alias = TAlways set to Self, but the type checker doesn’t reduce T::Alias to T.
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]pub fn borrow_mut(&mut self) -> &mut T[src]
pub fn borrow_mut(&mut self) -> &mut T[src]Mutably borrows from an owned value. Read more
impl<T, U> IsEqual<U> for T where
T: AliasSelf<Alias = U> + ?Sized,
U: ?Sized, [src]
T: AliasSelf<Alias = U> + ?Sized,
U: ?Sized,