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
sourceimpl Clone for TraitSpecializationKind
impl Clone for TraitSpecializationKind
sourcefn clone(&self) -> TraitSpecializationKind
fn clone(&self) -> TraitSpecializationKind
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresourceimpl<__D: Decoder> Decodable<__D> for TraitSpecializationKind
impl<__D: Decoder> Decodable<__D> for TraitSpecializationKind
sourceimpl<__E: Encoder> Encodable<__E> for TraitSpecializationKind
impl<__E: Encoder> Encodable<__E> for TraitSpecializationKind
sourceimpl<'__ctx> HashStable<StableHashingContext<'__ctx>> for TraitSpecializationKind
impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for TraitSpecializationKind
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
sourceimpl PartialEq<TraitSpecializationKind> for TraitSpecializationKind
impl PartialEq<TraitSpecializationKind> for TraitSpecializationKind
sourcefn eq(&self, other: &TraitSpecializationKind) -> bool
fn eq(&self, other: &TraitSpecializationKind) -> bool
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
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
sourceimpl<T, R> InternIteratorElement<T, R> for T
impl<T, R> InternIteratorElement<T, R> for T
type Output = R
fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Outputwhere
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
sourceimpl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
impl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
default fn from_cycle_error(tcx: CTX) -> T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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