Struct type_equalities::LoefIdF [−][src]
pub struct LoefIdF<T: ?Sized>(_);
Implements a TypeFunction
version of the Martin-Löf identity type, i.e.
ApF<LoefIdF<T>, U> == TypeEq<T, U>
.
Trait Implementations
Auto Trait Implementations
impl<T: ?Sized> RefUnwindSafe for LoefIdF<T> where
T: RefUnwindSafe,
T: RefUnwindSafe,
impl<T: ?Sized> Send for LoefIdF<T> where
T: Send,
T: Send,
impl<T: ?Sized> Sync for LoefIdF<T> where
T: Sync,
T: Sync,
impl<T: ?Sized> Unpin for LoefIdF<T> where
T: Unpin,
T: Unpin,
impl<T: ?Sized> UnwindSafe for LoefIdF<T> where
T: UnwindSafe,
T: UnwindSafe,