# Trait rustc_middle::query::erase::EraseType

source ·

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

## Required Associated Types§

source

#### type Result: Copy

## Object Safety§

This trait is not object safe.

## Implementations on Foreign Types§

source§

### impl EraseType for AllocatorKind

§

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

source§

### impl EraseType for DefKind

§

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

source§

### impl EraseType for Constness

§

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

source§

### impl EraseType for CoroutineKind

§

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

source§

### impl EraseType for Defaultness

§

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

source§

### impl EraseType for IsAsync

§

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

source§

### impl EraseType for MaybeOwner<'_>

§

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

source§

### impl EraseType for LangItem

§

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

source§

### impl EraseType for LintExpectationId

§

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

source§

### impl EraseType for CrateType

§

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

source§

### impl EraseType for EntryFnType

§

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

source§

### impl EraseType for OptLevel

§

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

source§

### impl EraseType for SymbolManglingVersion

§

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

source§

### impl EraseType for CrateDepKind

§

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

source§

### impl EraseType for LinkagePreference

§

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

source§

### impl EraseType for PanicStrategy

§

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

source§

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

§

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

source§

### impl EraseType for Option<AllocatorKind>

§

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

source§

### impl EraseType for Option<DefKind>

§

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

source§

### impl EraseType for Option<CoroutineKind>

§

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

source§

### impl EraseType for Option<PanicStrategy>

§

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

source§

### impl EraseType for Option<ImplTraitInTraitData>

§

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

source§

### impl EraseType for Option<usize>

§

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

source§

### impl EraseType for Option<ConstStability>

§

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

source§

### impl EraseType for Option<DefaultBodyStability>

§

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

source§

### impl EraseType for Option<Stability>

§

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

source§

### impl EraseType for Option<Svh>

§

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

source§

### impl EraseType for Option<HirId>

§

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

source§

### impl EraseType for Option<CrateNum>

§

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

source§

### impl EraseType for Option<DefId>

§

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

source§

### impl EraseType for Option<LocalDefId>

§

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

source§

### impl EraseType for Option<Span>

§

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

source§

### impl EraseType for Option<FieldIdx>

§

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

source§

### impl EraseType for Option<DeprecationEntry>

§

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

source§

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

§

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

source§

### impl EraseType for Option<ScalarInt>

§

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

source§

### impl EraseType for Option<IntrinsicDef>

§

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

source§

### impl EraseType for Option<AsyncDestructor>

§

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

source§

### impl EraseType for Option<Destructor>

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

### impl EraseType for Result<Option<ValTree<'_>>, ErrorHandled>

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

### impl EraseType for bool

§

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

source§

### impl EraseType for u32

§

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

source§

### impl EraseType for ()

§

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

source§

### impl EraseType for usize

§

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

source§

### impl EraseType for ConstStability

§

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

source§

### impl EraseType for DefaultBodyStability

§

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

source§

### impl EraseType for Deprecation

§

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

source§

### impl EraseType for Stability

§

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

source§

### impl EraseType for Svh

§

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

source§

### impl EraseType for DefKey

§

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

source§

### impl EraseType for Upvar

§

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

source§

### impl EraseType for HirId

§

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

source§

### impl EraseType for ItemLocalId

§

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

source§

### impl EraseType for OwnerId

§

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

source§

### impl EraseType for FiniteBitSet<u32>

§

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

source§

### impl EraseType for ExternCrate

§

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

source§

### impl EraseType for Limits

§

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

source§

### impl EraseType for CrateNum

§

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

source§

### impl EraseType for DefId

§

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

source§

### impl EraseType for DefIndex

§

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

source§

### impl EraseType for DefPathHash

§

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

source§

### impl EraseType for LocalDefId

§

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

source§

### impl EraseType for LocalModDefId

§

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

source§

### impl EraseType for ExpnHash

§

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

source§

### impl EraseType for ExpnId

§

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

source§

### impl EraseType for Span

§

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

source§

### impl EraseType for ErrorGuaranteed

§

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

source§

### impl EraseType for Ident

§

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

source§

### impl EraseType for Symbol

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

### impl<T> EraseType for &T

§

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

## Implementors§

source§

### impl EraseType for Linkage

§

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

source§

### impl EraseType for ObjectLifetimeDefault

§

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

source§

### impl EraseType for ResolvedArg

§

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

source§

### impl EraseType for LitToConstError

§

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

source§

### impl EraseType for ErrorHandled

§

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

source§

### impl EraseType for CodegenObligationError

§

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

source§

### impl EraseType for WellFormedLoc

§

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

source§

### impl EraseType for EvaluationResult

§

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

source§

### impl EraseType for OverflowError

§

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

source§

### impl EraseType for Representability

§

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

source§

### impl EraseType for AssocItemContainer

§

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

source§

### impl EraseType for Asyncness

§

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

source§

### impl EraseType for ImplPolarity

§

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

source§

### impl EraseType for Variance

§

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

source§

### impl EraseType for Visibility<DefId>

§

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

source§

### impl EraseType for BoundVariableKind

§

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

source§

### impl EraseType for SymbolExportInfo

§

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

source§

### impl EraseType for DeprecationEntry

§

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

source§

### impl EraseType for CtfeProvenance

§

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

source§

### impl EraseType for AllocId

§

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

source§

### impl EraseType for ConstQualifs

§

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

source§

### impl EraseType for ExprId

§

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

source§

### impl EraseType for CoerceUnsizedInfo

§

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

source§

### impl EraseType for AssocItem

§

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

source§

### impl EraseType for DeducedParamAttrs

§

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

source§

### impl EraseType for UnusedGenericParams

§

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

source§

### impl EraseType for NoSolution

§

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

source§

### impl EraseType for AsyncDestructor

§

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

source§

### impl EraseType for Destructor

§

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

source§

### impl EraseType for ReprOptions

§

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

source§

### impl EraseType for AlwaysRequiresDrop

§

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

source§

### impl EraseType for SimplifiedType

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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

source§

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

§

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