## EraseType

# Trait EraseType

Source

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

## Required Associated Types§

Source

#### 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§

Source§

### impl EraseType for &OsStr

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for AllocatorKind

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for DefKind

Source§

#### type Result = [u8; 3]

Source§

### impl EraseType for Constness

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for CoroutineKind

Source§

#### type Result = [u8; 2]

Source§

### impl EraseType for Defaultness

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for IsAsync

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for MaybeOwner<'_>

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for OpaqueTyOrigin<DefId>

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for LangItem

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for LintExpectationId

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for CrateType

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for EntryFnType

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for OptLevel

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for SymbolManglingVersion

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for CrateDepKind

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for LinkagePreference

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for PanicStrategy

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for Option<&OsStr>

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Option<(DefId, EntryFnType)>

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for Option<AllocatorKind>

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for Option<DefKind>

Source§

#### type Result = [u8; 3]

Source§

### impl EraseType for Option<CoroutineKind>

Source§

#### type Result = [u8; 2]

Source§

### impl EraseType for Option<PanicStrategy>

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for Option<ImplTraitInTraitData>

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Option<usize>

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Option<FieldIdx>

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for Option<Align>

Source§

#### type Result = [u8; 2]

Source§

### impl EraseType for Option<Svh>

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for Option<ConstStability>

Source§

#### type Result = [u8; 28]

Source§

### impl EraseType for Option<DefaultBodyStability>

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for Option<Stability>

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for Option<HirId>

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Option<CrateNum>

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for Option<DefId>

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Option<LocalDefId>

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for Option<Span>

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for Option<DeprecationEntry>

Source§

#### type Result = [u8; 20]

Source§

### impl EraseType for Option<DestructuredConstant<'_>>

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for Option<AsyncDestructor>

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Option<Destructor>

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Option<IntrinsicDef>

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Option<ScalarInt>

Source§

#### type Result = [u8; 17]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Result<(&[Spanned<MonoItem<'_>>], &[Spanned<MonoItem<'_>>]), NormalizationErrorInMono>

Source§

#### type Result = [u8; 32]

Source§

### impl EraseType for Result<ConstValue, ErrorHandled>

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for Result<EvaluationResult, OverflowError>

Source§

#### type Result = [u8; 2]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Result<(), ErrorGuaranteed>

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for Result<(), NoSolution>

Source§

#### type Result = [u8; 1]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for Result<CoerceUnsizedInfo, ErrorGuaranteed>

Source§

#### type Result = [u8; 4]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for bool

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for u32

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for ()

Source§

#### type Result = [u8; 0]

Source§

### impl EraseType for usize

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for ReprOptions

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Svh

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Deprecation

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for DefKey

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Upvar

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for ConstStability

Source§

#### type Result = [u8; 28]

Source§

### impl EraseType for DefaultBodyStability

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for Stability

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for HirId

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for ItemLocalId

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for OwnerId

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for FiniteBitSet<u32>

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for ExternCrate

Source§

#### type Result = [u8; 32]

Source§

### impl EraseType for Limits

Source§

#### type Result = [u8; 32]

Source§

### impl EraseType for CrateNum

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for DefId

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for DefIndex

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for DefPathHash

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for LocalDefId

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for LocalModDefId

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for ExpnHash

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for ExpnId

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Span

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for ErrorGuaranteed

Source§

#### type Result = [u8; 0]

Source§

### impl EraseType for Ident

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for Symbol

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for SanitizerSet

Source§

#### type Result = [u8; 2]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

### impl<T0> EraseType for (QueryResult<'_>, &T0)

Source§

#### type Result = [u8; 48]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

### impl<T> EraseType for Option<&T>

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

### impl<T> EraseType for &T

Source§

#### type Result = [u8; 8]

## Implementors§

Source§

### impl EraseType for Linkage

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for ObjectLifetimeDefault

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for ResolvedArg

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for ConstValue

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for ErrorHandled

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for CodegenObligationError

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for WellFormedLoc

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for EvaluationResult

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for OverflowError

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for AnonConstKind

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for AssocContainer

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Asyncness

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for BoundVariableKind

Source§

#### type Result = [u8; 12]

Source§

### impl EraseType for ImplPolarity

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for Representability

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for Variance

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for Visibility<DefId>

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for DeducedParamAttrs

Source§

#### type Result = [u8; 1]

Source§

### impl EraseType for SymbolExportInfo

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for DeprecationEntry

Source§

#### type Result = [u8; 20]

Source§

### impl EraseType for AllocId

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for CtfeProvenance

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for ConstQualifs

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for ExprId

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for NoSolution

Source§

#### type Result = [u8; 0]

Source§

### impl EraseType for CoerceUnsizedInfo

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for AssocItem

Source§

#### type Result = [u8; 32]

Source§

### impl EraseType for AsyncDestructor

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for Destructor

Source§

#### type Result = [u8; 8]

Source§

### impl EraseType for ImplTraitHeader<'_>

Source§

#### type Result = [u8; 24]

Source§

### impl EraseType for UnusedGenericParams

Source§

#### type Result = [u8; 4]

Source§

### impl EraseType for AlwaysRequiresDrop

Source§

#### type Result = [u8; 0]

Source§

### impl EraseType for EvalToValTreeResult<'_>

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for SimplifiedType

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

### impl EraseType for Binder<'_, CoroutineWitnessTypes<TyCtxt<'_>>>

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 40]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 40]

Source§

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

Source§

#### type Result = [u8; 40]

Source§

### impl<'tcx> EraseType for MonoItemPartitions<'tcx>

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 48]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 56]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

### impl<'tcx> EraseType for TypingEnv<'tcx>

Source§

#### type Result = [u8; 24]

Source§

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

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 32]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

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

Source§

#### type Result = [u8; 16]

Source§

### impl<T> EraseType for &List<T>

Source§

#### type Result = [u8; 8]

Source§

### impl<T> EraseType for &ListWithCachedTypeInfo<T>

Source§

#### type Result = [u8; 8]

Source§

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

Source§

#### type Result = <T as EraseType>::Result