Trait rustc_middle::query::erase::EraseType

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

Required Associated Types

type Result: Copy

Object Safety

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; 2]

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 LangItem

type Result = [u8; 1]

impl EraseType for LintExpectationId

type Result = [u8; 20]

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; 2]

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<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<EarlyBinder<Ty<'_>>>

type Result = [u8; 8]

impl EraseType for Option<EarlyBinder<TraitRef<'_>>>

type Result = [u8; 16]

impl EraseType for Option<Destructor>

type Result = [u8; 12]

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<ValTree<'_>>, ErrorHandled>

type Result = [u8; 24]

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

type Result = [u8; 16]

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

type Result = [u8; 32]

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<EarlyBinder<Ty<'_>>, CyclePlaceholder>

type Result = [u8; 8]

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

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 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, 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 MaybeOwner<&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; 20]

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; 8]

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 SimplifiedType

type Result = [u8; 16]

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; 5]

impl EraseType for ExprId

type Result = [u8; 4]

impl EraseType for NoSolution

type Result = [u8; 0]

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 Destructor

type Result = [u8; 12]

impl EraseType for ReprOptions

type Result = [u8; 16]

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

type Result = [u8; 16]

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

type Result = [u8; 24]

impl EraseType for AlwaysRequiresDrop

type Result = [u8; 0]

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 InstanceDef<'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; 64]

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

type Result = [u8; 16]

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 GenericPredicates<'tcx>

type Result = [u8; 24]

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

type Result = [u8; 32]

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

type Result = [u8; 24]

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

type Result = [u8; 8]

impl<'tcx> EraseType for Predicate<'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 AliasTy<'tcx>

type Result = [u8; 16]

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

type Result = [u8; 16]

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

type Result = [u8; 16]

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

type Result = [u8; 16]

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

type Result = [u8; 32]

impl<T> EraseType for &List<T>

type Result = [u8; 8]

impl<T: EraseType> EraseType for EarlyBinder<T>

type Result = <T as EraseType>::Result