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 Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

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]

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

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere 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>>::Outputwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

impl<T, U> Into<U> for Twhere 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 Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

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

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

type Error = Infallible

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

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

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

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

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

`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 Twhere
T: 'static + ?Sized,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
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 Twhere
T: ?Sized,

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

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

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

impl<T> ToOwned for Twhere
T: Clone,

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

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

impl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,

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