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<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for TraitSpecializationKind

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

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for TraitSpecializationKind

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

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,

pub fn type_id(&self) -> TypeId

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

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = Self>) -> &'a mut [Self]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

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

pub fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

fn from(Ok: Result<T, Self::Error>) -> Self

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

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

type Owned = T

pub fn to_owned(&self) -> T

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

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

type Error = Infallible

pub 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

pub 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<'tcx, D: TyDecoder<'tcx>> Decodable<D> for TraitSpecializationKind

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

impl<'tcx, E: TyEncoder<'tcx>> Encodable<E> for TraitSpecializationKind

fn encode(&self, encoder: &mut E) -> Result<(), <__E as Encoder>::Error>

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<'a>(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]ⓘ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,

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,