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.

Enum rustc_middle::ty::trait_def::TraitSpecializationKind

Variants

None

Marker

AlwaysApplicable

Trait Implementations

impl Clone for TraitSpecializationKind

fn clone(&self) -> TraitSpecializationKind

fn clone_from(&mut self, source: &Self)

impl<__D: Decoder> Decodable<__D> for TraitSpecializationKind

fn decode(__decoder: &mut __D) -> Self

impl<__E: Encoder> Encodable<__E> for TraitSpecializationKind

fn encode(&self, __encoder: &mut __E)

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for TraitSpecializationKind

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher)

impl PartialEq<TraitSpecializationKind> for TraitSpecializationKind

fn eq(&self, other: &TraitSpecializationKind) -> bool

fn ne(&self, other: &Rhs) -> 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

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

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]

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> 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,

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<'a, T> Captures<'a> for T where T: ?Sized,

Layout

`None`

`Marker`

`AlwaysApplicable`

impl<D: Decoder> Decodable<D> for TraitSpecializationKind

fn decode(decoder: &mut D) -> Self

impl<E: Encoder> Encodable<E> for TraitSpecializationKind

fn encode(&self, encoder: &mut E)

impl<'ctx> HashStable<StableHashingContext<'ctx>> for TraitSpecializationKind

fn hash_stable(
&self,
hcx: &mut StableHashingContext<'ctx>,
__hasher: &mut StableHasher
)

impl<T> Any for T where
T: 'static + ?Sized,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where
T: Copy,

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]`

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

fn intern_with<I, F>(
iter: I,
f: F
) -> <T as InternIteratorElement<T, R>>::Output where
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

impl<'a, T> Captures<'a> for T where
T: ?Sized,