Enum rustc_middle::ty::trait_def::TraitSpecializationKind
source · pub enum TraitSpecializationKind {
None,
Marker,
AlwaysApplicable,
}
Expand description
Whether this trait is treated specially by the standard library specialization lint.
Variants§
None
The default. Specializing on this trait is not allowed.
Marker
Specializing on this trait is allowed because it doesn’t have any
methods. For example Sized
or FusedIterator
.
Applies to traits with the rustc_unsafe_specialization_marker
attribute.
AlwaysApplicable
Specializing on this trait is allowed because all of the impls of this
trait are “always applicable”. Always applicable means that if
X<'x>: T<'y>
for any lifetimes, then for<'a, 'b> X<'a>: T<'b>
.
Applies to traits with the rustc_specialization_trait
attribute.
Trait Implementations§
source§impl Clone for TraitSpecializationKind
impl Clone for TraitSpecializationKind
source§fn clone(&self) -> TraitSpecializationKind
fn clone(&self) -> TraitSpecializationKind
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<__D: Decoder> Decodable<__D> for TraitSpecializationKind
impl<__D: Decoder> Decodable<__D> for TraitSpecializationKind
source§impl<__E: Encoder> Encodable<__E> for TraitSpecializationKind
impl<__E: Encoder> Encodable<__E> for TraitSpecializationKind
source§impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for TraitSpecializationKind
impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for TraitSpecializationKind
fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )
source§impl PartialEq<TraitSpecializationKind> for TraitSpecializationKind
impl PartialEq<TraitSpecializationKind> for TraitSpecializationKind
source§fn eq(&self, other: &TraitSpecializationKind) -> bool
fn eq(&self, other: &TraitSpecializationKind) -> bool
self
and other
values to be equal, and is used
by ==
.impl Copy for TraitSpecializationKind
impl StructuralPartialEq for TraitSpecializationKind
Auto Trait Implementations§
impl RefUnwindSafe for TraitSpecializationKind
impl Send for TraitSpecializationKind
impl Sync for TraitSpecializationKind
impl Unpin for TraitSpecializationKind
impl UnwindSafe for TraitSpecializationKind
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]
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
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
None
: 0 bytesMarker
: 0 bytesAlwaysApplicable
: 0 bytes