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
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl<__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
)
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 T where
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where
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 T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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>>::Output where
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
impl<'a, T> Captures<'a> for T where
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