Trait rustc_middle::query::erase::EraseType

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

Required Associated Types§

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 SimplifiedType

§

type Result = [u8; 16]

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

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