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 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 DynSync for TraitSpecializationKind

impl RefUnwindSafe for TraitSpecializationKind

impl Send for TraitSpecializationKind

impl Sync for TraitSpecializationKind

impl Unpin for TraitSpecializationKind

impl UnwindSafe for TraitSpecializationKind

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

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<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

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, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

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<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> 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<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T

Layout§

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,

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

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

fn collect_and_apply<I, F>(iter: I, f: F) -> R
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<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,