rustc_middle::ty::parameterized

Trait ParameterizedOverTcx

Source
pub trait ParameterizedOverTcx: 'static {
    type Value<'tcx>;
}

Required Associated Types§

Source

type Value<'tcx>

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 ParameterizedOverTcx for DefKind

Source§

type Value<'tcx> = DefKind

Source§

impl ParameterizedOverTcx for Constness

Source§

impl ParameterizedOverTcx for CoroutineKind

Source§

impl ParameterizedOverTcx for Defaultness

Source§

impl ParameterizedOverTcx for IsAsync

Source§

type Value<'tcx> = IsAsync

Source§

impl ParameterizedOverTcx for OpaqueTyOrigin<DefId>

Source§

impl ParameterizedOverTcx for Safety

Source§

type Value<'tcx> = Safety

Source§

impl ParameterizedOverTcx for LangItem

Source§

type Value<'tcx> = LangItem

Source§

impl ParameterizedOverTcx for LinkagePreference

Source§

impl ParameterizedOverTcx for bool

Source§

type Value<'tcx> = bool

Source§

impl ParameterizedOverTcx for u32

Source§

type Value<'tcx> = u32

Source§

impl ParameterizedOverTcx for u64

Source§

type Value<'tcx> = u64

Source§

impl ParameterizedOverTcx for ()

Source§

type Value<'tcx> = ()

Source§

impl ParameterizedOverTcx for usize

Source§

type Value<'tcx> = usize

Source§

impl ParameterizedOverTcx for ReprOptions

Source§

impl ParameterizedOverTcx for Attribute

Source§

impl ParameterizedOverTcx for DelimArgs

Source§

impl ParameterizedOverTcx for StrippedCfgItem<DefIndex>

Source§

impl ParameterizedOverTcx for Deprecation

Source§

impl ParameterizedOverTcx for ConstStability

Source§

impl ParameterizedOverTcx for DefaultBodyStability

Source§

impl ParameterizedOverTcx for Stability

Source§

impl ParameterizedOverTcx for DefKey

Source§

type Value<'tcx> = DefKey

Source§

impl ParameterizedOverTcx for Attribute

Source§

impl ParameterizedOverTcx for BitSet<u32>

Source§

type Value<'tcx> = BitSet<u32>

Source§

impl ParameterizedOverTcx for FiniteBitSet<u32>

Source§

impl ParameterizedOverTcx for ForeignModule

Source§

impl ParameterizedOverTcx for NativeLib

Source§

impl ParameterizedOverTcx for DefId

Source§

type Value<'tcx> = DefId

Source§

impl ParameterizedOverTcx for DefIndex

Source§

type Value<'tcx> = DefIndex

Source§

impl ParameterizedOverTcx for DefPathHash

Source§

impl ParameterizedOverTcx for ExpnData

Source§

type Value<'tcx> = ExpnData

Source§

impl ParameterizedOverTcx for ExpnHash

Source§

type Value<'tcx> = ExpnHash

Source§

impl ParameterizedOverTcx for ExpnId

Source§

type Value<'tcx> = ExpnId

Source§

impl ParameterizedOverTcx for SyntaxContextData

Source§

impl ParameterizedOverTcx for Span

Source§

type Value<'tcx> = Span

Source§

impl ParameterizedOverTcx for SourceFile

Source§

impl ParameterizedOverTcx for Ident

Source§

type Value<'tcx> = Ident

Source§

impl ParameterizedOverTcx for Symbol

Source§

type Value<'tcx> = Symbol

Source§

impl ParameterizedOverTcx for String

Source§

type Value<'tcx> = String

Source§

impl ParameterizedOverTcx for DocLinkResMap

Source§

impl<A: ParameterizedOverTcx, B: ParameterizedOverTcx> ParameterizedOverTcx for (A, B)

Source§

type Value<'tcx> = (<A as ParameterizedOverTcx>::Value<'tcx>, <B as ParameterizedOverTcx>::Value<'tcx>)

Source§

impl<I: Idx + 'static, T: ParameterizedOverTcx> ParameterizedOverTcx for IndexVec<I, T>

Source§

type Value<'tcx> = IndexVec<I, <T as ParameterizedOverTcx>::Value<'tcx>>

Source§

impl<I: Hash + Eq + 'static, T: ParameterizedOverTcx> ParameterizedOverTcx for UnordMap<I, T>

Source§

type Value<'tcx> = UnordMap<I, <T as ParameterizedOverTcx>::Value<'tcx>>

Source§

impl<T: ParameterizedOverTcx> ParameterizedOverTcx for &'static [T]

Source§

type Value<'tcx> = &'tcx [<T as ParameterizedOverTcx>::Value<'tcx>]

Source§

impl<T: ParameterizedOverTcx> ParameterizedOverTcx for Option<T>

Source§

type Value<'tcx> = Option<<T as ParameterizedOverTcx>::Value<'tcx>>

Implementors§

Source§

impl ParameterizedOverTcx for ExportedSymbol<'static>

Source§

type Value<'tcx> = ExportedSymbol<'tcx>

Source§

impl ParameterizedOverTcx for FeatureStability

Source§

impl ParameterizedOverTcx for ObjectLifetimeDefault

Source§

impl ParameterizedOverTcx for AssocItemContainer

Source§

impl ParameterizedOverTcx for Asyncness

Source§

impl ParameterizedOverTcx for ImplPolarity

Source§

impl ParameterizedOverTcx for ImplTraitInTraitData

Source§

impl ParameterizedOverTcx for Variance

Source§

type Value<'tcx> = Variance

Source§

impl ParameterizedOverTcx for Visibility<DefIndex>

Source§

impl ParameterizedOverTcx for ModChild

Source§

type Value<'tcx> = ModChild

Source§

impl ParameterizedOverTcx for CodegenFnAttrs

Source§

impl ParameterizedOverTcx for DebuggerVisualizerFile

Source§

impl ParameterizedOverTcx for SymbolExportInfo

Source§

impl ParameterizedOverTcx for ConstAllocation<'static>

Source§

type Value<'tcx> = ConstAllocation<'tcx>

Source§

impl ParameterizedOverTcx for ConstQualifs

Source§

impl ParameterizedOverTcx for CoroutineLayout<'static>

Source§

type Value<'tcx> = CoroutineLayout<'tcx>

Source§

impl ParameterizedOverTcx for Body<'static>

Source§

type Value<'tcx> = Body<'tcx>

Source§

impl ParameterizedOverTcx for CoerceUnsizedInfo

Source§

impl ParameterizedOverTcx for Const<'static>

Source§

type Value<'tcx> = Const<'tcx>

Source§

impl ParameterizedOverTcx for DeducedParamAttrs

Source§

impl ParameterizedOverTcx for ConstConditions<'static>

Source§

type Value<'tcx> = ConstConditions<'tcx>

Source§

impl ParameterizedOverTcx for GenericPredicates<'static>

Source§

type Value<'tcx> = GenericPredicates<'tcx>

Source§

impl ParameterizedOverTcx for Generics

Source§

type Value<'tcx> = Generics

Source§

impl ParameterizedOverTcx for UnusedGenericParams

Source§

impl ParameterizedOverTcx for IntrinsicDef

Source§

impl ParameterizedOverTcx for Clause<'static>

Source§

type Value<'tcx> = Clause<'tcx>

Source§

impl ParameterizedOverTcx for Predicate<'static>

Source§

type Value<'tcx> = Predicate<'tcx>

Source§

impl ParameterizedOverTcx for ImplTraitHeader<'static>

Source§

type Value<'tcx> = ImplTraitHeader<'tcx>

Source§

impl ParameterizedOverTcx for Ty<'static>

Source§

type Value<'tcx> = Ty<'tcx>

Source§

impl ParameterizedOverTcx for TraitDef

Source§

type Value<'tcx> = TraitDef

Source§

impl ParameterizedOverTcx for SimplifiedType

Source§

impl ParameterizedOverTcx for ClauseKind<'static>

Source§

type Value<'tcx> = ClauseKind<TyCtxt<'tcx>>

Source§

impl ParameterizedOverTcx for TraitRef<'static>

Source§

type Value<'tcx> = TraitRef<TyCtxt<'tcx>>

Source§

impl ParameterizedOverTcx for FnSig<'static>

Source§

type Value<'tcx> = FnSig<TyCtxt<'tcx>>

Source§

impl<T: ParameterizedOverTcx> ParameterizedOverTcx for Binder<'static, T>

Source§

type Value<'tcx> = Binder<TyCtxt<'tcx>, <T as ParameterizedOverTcx>::Value<'tcx>>

Source§

impl<T: ParameterizedOverTcx> ParameterizedOverTcx for EarlyBinder<'static, T>

Source§

type Value<'tcx> = EarlyBinder<TyCtxt<'tcx>, <T as ParameterizedOverTcx>::Value<'tcx>>