pub struct PhantomCovariant<T>(/* private fields */)
where
T: ?Sized;
๐ฌThis is a nightly-only experimental API. (
phantom_variance_markers
)Expand description
Zero-sized type used to mark a type parameter as covariant.
Types used as part of the return value from a function are covariant. If the type is also passed as a parameter then it is invariant. See the reference for more information.
Note: If T
is otherwise contravariant or invariant, the resulting type is invariant.
ยงLayout
For all T
, the following are guaranteed:
size_of::<PhantomCovariant<T>>() == 0
align_of::<PhantomCovariant<T>>() == 1
Implementationsยง
Sourceยงimpl<T> PhantomCovariant<T>where
T: ?Sized,
impl<T> PhantomCovariant<T>where
T: ?Sized,
Sourcepub const fn new() -> PhantomCovariant<T>
๐ฌThis is a nightly-only experimental API. (phantom_variance_markers
)
pub const fn new() -> PhantomCovariant<T>
phantom_variance_markers
)Constructs a new instance of the variance marker.
Trait Implementationsยง
Sourceยงimpl<T> Clone for PhantomCovariant<T>where
T: ?Sized,
impl<T> Clone for PhantomCovariant<T>where
T: ?Sized,
Sourceยงfn clone(&self) -> PhantomCovariant<T>
fn clone(&self) -> PhantomCovariant<T>
Returns a duplicate of the value. Read more
1.0.0 ยท Sourceยงfn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSourceยงimpl<T> Debug for PhantomCovariant<T>where
T: ?Sized,
impl<T> Debug for PhantomCovariant<T>where
T: ?Sized,
Sourceยงimpl<T> Default for PhantomCovariant<T>where
T: ?Sized,
impl<T> Default for PhantomCovariant<T>where
T: ?Sized,
Sourceยงfn default() -> PhantomCovariant<T>
fn default() -> PhantomCovariant<T>
Returns the โdefault valueโ for a type. Read more
Sourceยงimpl<T> Hash for PhantomCovariant<T>where
T: ?Sized,
impl<T> Hash for PhantomCovariant<T>where
T: ?Sized,
Sourceยงimpl<T> Ord for PhantomCovariant<T>where
T: ?Sized,
impl<T> Ord for PhantomCovariant<T>where
T: ?Sized,
Sourceยงfn cmp(&self, _: &PhantomCovariant<T>) -> Ordering
fn cmp(&self, _: &PhantomCovariant<T>) -> Ordering
1.21.0 ยท Sourceยงfn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Sourceยงimpl<T> PartialEq for PhantomCovariant<T>where
T: ?Sized,
impl<T> PartialEq for PhantomCovariant<T>where
T: ?Sized,
Sourceยงimpl<T> PartialOrd for PhantomCovariant<T>where
T: ?Sized,
impl<T> PartialOrd for PhantomCovariant<T>where
T: ?Sized,
impl<T> Copy for PhantomCovariant<T>where
T: ?Sized,
impl<T> Eq for PhantomCovariant<T>where
T: ?Sized,
impl<T> Variance for PhantomCovariant<T>where
T: ?Sized,
Auto Trait Implementationsยง
impl<T> Freeze for PhantomCovariant<T>where
T: ?Sized,
impl<T> RefUnwindSafe for PhantomCovariant<T>where
T: ?Sized,
impl<T> Send for PhantomCovariant<T>where
T: ?Sized,
impl<T> Sync for PhantomCovariant<T>where
T: ?Sized,
impl<T> Unpin for PhantomCovariant<T>where
T: ?Sized,
impl<T> UnwindSafe for PhantomCovariant<T>where
T: ?Sized,
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Sourceยงimpl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Sourceยงimpl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Sourceยงimpl<T, U> ContextualTryInto<U> for Twhere
U: ContextualTryFrom<T>,
impl<T, U> ContextualTryInto<U> for Twhere
U: ContextualTryFrom<T>,
type Error = <U as ContextualTryFrom<T>>::Error
type Context = <U as ContextualTryFrom<T>>::Context
fn contextual_try_into( self, context: &<U as ContextualTryFrom<T>>::Context, ) -> Result<U, <U as ContextualTryFrom<T>>::Error>
Sourceยงimpl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Sourceยงfn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.Sourceยงfn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.Sourceยงfn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
โs vtable from &Trait
โs.Sourceยงfn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
โs vtable from &mut Trait
โs.Sourceยงimpl<T> DowncastSync for T
impl<T> DowncastSync for T
Sourceยงimpl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Sourceยงimpl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Sourceยงfn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Sourceยงimpl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Sourceยงfn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Sourceยงimpl<T> IntoEither for T
impl<T> IntoEither for T
Sourceยงfn into_either(self, into_left: bool) -> Either<Self, Self> โ
fn into_either(self, into_left: bool) -> Either<Self, Self> โ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSourceยงfn into_either_with<F>(self, into_left: F) -> Either<Self, Self> โ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> โ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more