Trait EraseType

pub trait EraseType: Copy {
    type Result: Copy;
}

Required Associated Types

type Result: Copy

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl EraseType for AllocatorKind

type Result = [u8; 1]

impl EraseType for DefKind

type Result = [u8; 3]

impl EraseType for Constness

type Result = [u8; 1]

impl EraseType for CoroutineKind

type Result = [u8; 2]

impl EraseType for Defaultness

type Result = [u8; 1]

impl EraseType for IsAsync

type Result = [u8; 12]

impl EraseType for MaybeOwner<'_>

type Result = [u8; 16]

impl EraseType for OpaqueTyOrigin<DefId>

type Result = [u8; 12]

impl EraseType for LangItem

type Result = [u8; 1]

impl EraseType for LintExpectationId

type Result = [u8; 16]

impl EraseType for CrateType

type Result = [u8; 1]

impl EraseType for EntryFnType

type Result = [u8; 2]

impl EraseType for OptLevel

type Result = [u8; 1]

impl EraseType for SymbolManglingVersion

type Result = [u8; 1]

impl EraseType for CrateDepKind

type Result = [u8; 1]

impl EraseType for LinkagePreference

type Result = [u8; 1]

impl EraseType for PanicStrategy

type Result = [u8; 1]

impl EraseType for Option<(DefId, EntryFnType)>

type Result = [u8; 12]

impl EraseType for Option<AllocatorKind>

type Result = [u8; 1]

impl EraseType for Option<DefKind>

type Result = [u8; 3]

impl EraseType for Option<CoroutineKind>

type Result = [u8; 2]

impl EraseType for Option<PanicStrategy>

type Result = [u8; 1]

impl EraseType for Option<ImplTraitInTraitData>

type Result = [u8; 16]

impl EraseType for Option<usize>

type Result = [u8; 16]

impl EraseType for Option<FieldIdx>

type Result = [u8; 4]

impl EraseType for Option<ConstStability>

type Result = [u8; 24]

impl EraseType for Option<DefaultBodyStability>

type Result = [u8; 20]

impl EraseType for Option<Stability>

type Result = [u8; 20]

impl EraseType for Option<Svh>

type Result = [u8; 24]

impl EraseType for Option<HirId>

type Result = [u8; 8]

impl EraseType for Option<CrateNum>

type Result = [u8; 4]

impl EraseType for Option<DefId>

type Result = [u8; 8]

impl EraseType for Option<LocalDefId>

type Result = [u8; 4]

impl EraseType for Option<Span>

type Result = [u8; 12]

impl EraseType for Option<DeprecationEntry>

type Result = [u8; 20]

impl EraseType for Option<DestructuredConstant<'_>>

type Result = [u8; 24]

impl EraseType for Option<ScalarInt>

type Result = [u8; 17]

impl EraseType for Option<IntrinsicDef>

type Result = [u8; 8]

impl EraseType for Option<AsyncDestructor>

type Result = [u8; 16]

impl EraseType for Option<Destructor>

type Result = [u8; 12]

impl EraseType for Option<ImplTraitHeader<'_>>

type Result = [u8; 24]

impl EraseType for Option<EarlyBinder<'_, Ty<'_>>>

type Result = [u8; 8]

impl EraseType for Result<&List<Ty<'_>>, AlwaysRequiresDrop>

type Result = [u8; 8]

impl EraseType for Result<Const<'_>, LitToConstError>

type Result = [u8; 40]

impl EraseType for Result<ConstValue<'_>, ErrorHandled>

type Result = [u8; 24]

impl EraseType for Result<EvaluationResult, OverflowError>

type Result = [u8; 2]

impl EraseType for Result<Option<Instance<'_>>, ErrorGuaranteed>

type Result = [u8; 32]

impl EraseType for Result<Option<EarlyBinder<'_, Const<'_>>>, ErrorGuaranteed>

type Result = [u8; 16]

impl EraseType for Result<Result<ValTree<'_>, Ty<'_>>, ErrorHandled>

type Result = [u8; 24]

impl EraseType for Result<bool, &LayoutError<'_>>

type Result = [u8; 16]

impl EraseType for Result<(), ErrorGuaranteed>

type Result = [u8; 1]

impl EraseType for Result<(), NoSolution>

type Result = [u8; 1]

impl EraseType for Result<TyAndLayout<'_, Ty<'_>>, &LayoutError<'_>>

type Result = [u8; 16]

impl EraseType for Result<ConstAlloc<'_>, ErrorHandled>

type Result = [u8; 24]

impl EraseType for Result<CoerceUnsizedInfo, ErrorGuaranteed>

type Result = [u8; 4]

impl EraseType for Result<Const<'_>, LitToConstError>

type Result = [u8; 16]

impl EraseType for Result<GenericArg<'_>, NoSolution>

type Result = [u8; 8]

impl EraseType for Result<EarlyBinder<'_, Ty<'_>>, CyclePlaceholder>

type Result = [u8; 8]

impl EraseType for bool

type Result = [u8; 1]

impl EraseType for u32

type Result = [u8; 4]

impl EraseType for ()

type Result = [u8; 0]

impl EraseType for usize

type Result = [u8; 8]

impl EraseType for ReprOptions

type Result = [u8; 16]

impl EraseType for ConstStability

type Result = [u8; 24]

impl EraseType for DefaultBodyStability

type Result = [u8; 20]

impl EraseType for Deprecation

type Result = [u8; 16]

impl EraseType for Stability

type Result = [u8; 20]

impl EraseType for Svh

type Result = [u8; 16]

impl EraseType for DefKey

type Result = [u8; 16]

impl EraseType for Upvar

type Result = [u8; 8]

impl EraseType for HirId

type Result = [u8; 8]

impl EraseType for ItemLocalId

type Result = [u8; 4]

impl EraseType for OwnerId

type Result = [u8; 4]

impl EraseType for FiniteBitSet<u32>

type Result = [u8; 4]

impl EraseType for ExternCrate

type Result = [u8; 32]

impl EraseType for Limits

type Result = [u8; 24]

impl EraseType for CrateNum

type Result = [u8; 4]

impl EraseType for DefId

type Result = [u8; 8]

impl EraseType for DefIndex

type Result = [u8; 4]

impl EraseType for DefPathHash

type Result = [u8; 16]

impl EraseType for LocalDefId

type Result = [u8; 4]

impl EraseType for LocalModDefId

type Result = [u8; 4]

impl EraseType for ExpnHash

type Result = [u8; 16]

impl EraseType for ExpnId

type Result = [u8; 8]

impl EraseType for Span

type Result = [u8; 8]

impl EraseType for ErrorGuaranteed

type Result = [u8; 0]

impl EraseType for Ident

type Result = [u8; 12]

impl EraseType for Symbol

type Result = [u8; 4]

impl<I: Idx, T> EraseType for &IndexSlice<I, T>

type Result = [u8; 16]

impl<T0> EraseType for (&T0, Result<(), ErrorGuaranteed>)

type Result = [u8; 16]

impl<T0, T1> EraseType for (&[T0], &[T1])

type Result = [u8; 32]

impl<T0, T1> EraseType for (&T0, &[T1])

type Result = [u8; 24]

impl<T0, T1> EraseType for (&T0, &T1)

type Result = [u8; 16]

impl<T> EraseType for &[T]

type Result = [u8; 16]

impl<T> EraseType for Option<&[T]>

type Result = [u8; 16]

impl<T> EraseType for Option<&T>

type Result = [u8; 8]

impl<T> EraseType for Result<&[T], ErrorGuaranteed>

type Result = [u8; 16]

impl<T> EraseType for Result<&[T], NoSolution>

type Result = [u8; 16]

impl<T> EraseType for Result<(&T, ExprId), ErrorGuaranteed>

type Result = [u8; 16]

impl<T> EraseType for Result<&T, &FnAbiError<'_>>

type Result = [u8; 16]

impl<T> EraseType for Result<&T, CodegenObligationError>

type Result = [u8; 16]

impl<T> EraseType for Result<&T, ErrorGuaranteed>

type Result = [u8; 8]

impl<T> EraseType for Result<&T, NoSolution>

type Result = [u8; 8]

impl<T> EraseType for &T

type Result = [u8; 8]

Implementors

impl EraseType for Linkage

type Result = [u8; 1]

impl EraseType for ObjectLifetimeDefault

type Result = [u8; 8]

impl EraseType for ResolvedArg

type Result = [u8; 12]

impl EraseType for LitToConstError

type Result = [u8; 1]

impl EraseType for ErrorHandled

type Result = [u8; 12]

impl EraseType for CodegenObligationError

type Result = [u8; 1]

impl EraseType for WellFormedLoc

type Result = [u8; 16]

impl EraseType for EvaluationResult

type Result = [u8; 1]

impl EraseType for OverflowError

type Result = [u8; 1]

impl EraseType for Representability

type Result = [u8; 1]

impl EraseType for AssocItemContainer

type Result = [u8; 1]

impl EraseType for Asyncness

type Result = [u8; 1]

impl EraseType for ImplPolarity

type Result = [u8; 1]

impl EraseType for Variance

type Result = [u8; 1]

impl EraseType for Visibility<DefId>

type Result = [u8; 8]

impl EraseType for BoundVariableKind

type Result = [u8; 16]

impl EraseType for SymbolExportInfo

type Result = [u8; 3]

impl EraseType for DeprecationEntry

type Result = [u8; 20]

impl EraseType for CtfeProvenance

type Result = [u8; 8]

impl EraseType for AllocId

type Result = [u8; 8]

impl EraseType for ConstQualifs

type Result = [u8; 4]

impl EraseType for ExprId

type Result = [u8; 4]

impl EraseType for CoerceUnsizedInfo

type Result = [u8; 4]

impl EraseType for AssocItem

type Result = [u8; 40]

impl EraseType for DeducedParamAttrs

type Result = [u8; 1]

impl EraseType for UnusedGenericParams

type Result = [u8; 4]

impl EraseType for NoSolution

type Result = [u8; 0]

impl EraseType for AsyncDestructor

type Result = [u8; 16]

impl EraseType for Destructor

type Result = [u8; 12]

impl EraseType for AlwaysRequiresDrop

type Result = [u8; 0]

impl EraseType for SimplifiedType

type Result = [u8; 16]

impl EraseType for Binder<'_, &List<Ty<'_>>>

type Result = [u8; 16]

impl EraseType for Binder<'_, FnSig<'_>>

type Result = [u8; 24]

impl<'tcx> EraseType for ExportedSymbol<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for rustc_middle::mir::consts::Const<'tcx>

type Result = [u8; 40]

impl<'tcx> EraseType for ConstValue<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for ValTree<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for InhabitedPredicate<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for InstanceKind<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for FnAbiError<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for LayoutError<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for VtblEntry<'tcx>

type Result = [u8; 32]

impl<'tcx> EraseType for ConstAlloc<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for GlobalId<'tcx>

type Result = [u8; 40]

impl<'tcx> EraseType for LitToConstInput<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for DestructuredConstant<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for MethodAutoderefStepsResult<'tcx>

type Result = [u8; 32]

impl<'tcx> EraseType for AscribeUserType<'tcx>

type Result = [u8; 40]

impl<'tcx> EraseType for Eq<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for ProvePredicate<'tcx>

type Result = [u8; 8]

impl<'tcx> EraseType for Subtype<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for AdtDef<'tcx>

type Result = [u8; 8]

impl<'tcx> EraseType for ClosureTypeInfo<'tcx>

type Result = [u8; 56]

impl<'tcx> EraseType for rustc_middle::ty::consts::Const<'tcx>

type Result = [u8; 8]

impl<'tcx> EraseType for GenericArg<'tcx>

type Result = [u8; 8]

impl<'tcx> EraseType for ConstConditions<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for GenericPredicates<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for Instance<'tcx>

type Result = [u8; 32]

impl<'tcx> EraseType for Predicate<'tcx>

type Result = [u8; 8]

impl<'tcx> EraseType for DestructuredConst<'tcx>

type Result = [u8; 24]

impl<'tcx> EraseType for ParamEnv<'tcx>

type Result = [u8; 8]

impl<'tcx> EraseType for SymbolName<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for Ty<'tcx>

type Result = [u8; 8]

impl<'tcx> EraseType for EvalStaticInitializerRawResult<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for UnevaluatedConst<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for ClauseKind<'tcx>

type Result = [u8; 32]

impl<'tcx> EraseType for ExistentialTraitRef<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for TraitRef<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for AliasTy<'tcx>

type Result = [u8; 16]

impl<'tcx> EraseType for FnSig<'tcx>

type Result = [u8; 16]

impl<T> EraseType for &List<T>

type Result = [u8; 8]

impl<T> EraseType for &ListWithCachedTypeInfo<T>

type Result = [u8; 8]

impl<T: EraseType> EraseType for EarlyBinder<'_, T>

type Result = <T as EraseType>::Result