Trait rustc_middle::ty::parameterized::ParameterizedOverTcx

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

Required Associated Types

type Value<'tcx>

Implementations on Foreign Types

impl ParameterizedOverTcx for Span

type Value<'tcx> = Span

impl ParameterizedOverTcx for Constness

type Value<'tcx> = Constness

impl ParameterizedOverTcx for BitSet<u32>

type Value<'tcx> = BitSet<u32>

impl ParameterizedOverTcx for usize

type Value<'tcx> = usize

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

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

impl ParameterizedOverTcx for ExpnData

type Value<'tcx> = ExpnData

impl ParameterizedOverTcx for u32

type Value<'tcx> = u32

impl ParameterizedOverTcx for String

type Value<'tcx> = String

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

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

impl ParameterizedOverTcx for Defaultness

type Value<'tcx> = Defaultness

impl ParameterizedOverTcx for NativeLib

type Value<'tcx> = NativeLib

impl ParameterizedOverTcx for DelimArgs

type Value<'tcx> = DelimArgs

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

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

impl ParameterizedOverTcx for DefPathHash

type Value<'tcx> = DefPathHash

impl ParameterizedOverTcx for LinkagePreference

type Value<'tcx> = LinkagePreference

impl ParameterizedOverTcx for SourceFile

type Value<'tcx> = SourceFile

impl ParameterizedOverTcx for ()

type Value<'tcx> = ()

impl ParameterizedOverTcx for Ident

type Value<'tcx> = Ident

impl ParameterizedOverTcx for u64

type Value<'tcx> = u64

impl ParameterizedOverTcx for DefId

type Value<'tcx> = DefId

impl ParameterizedOverTcx for ConstStability

type Value<'tcx> = ConstStability

impl ParameterizedOverTcx for bool

type Value<'tcx> = bool

impl ParameterizedOverTcx for ExpnId

type Value<'tcx> = ExpnId

impl ParameterizedOverTcx for ForeignModule

type Value<'tcx> = ForeignModule

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

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

impl ParameterizedOverTcx for GeneratorKind

type Value<'tcx> = GeneratorKind

impl ParameterizedOverTcx for Attribute

type Value<'tcx> = Attribute

impl ParameterizedOverTcx for LangItem

type Value<'tcx> = LangItem

impl<I: 'static, T: ParameterizedOverTcx> ParameterizedOverTcx for FxHashMap<I, T>

type Value<'tcx> = HashMap<I, <T as ParameterizedOverTcx>::Value<'tcx>, BuildHasherDefault<FxHasher>>

impl ParameterizedOverTcx for Symbol

type Value<'tcx> = Symbol

impl ParameterizedOverTcx for DefIndex

type Value<'tcx> = DefIndex

impl ParameterizedOverTcx for Deprecation

type Value<'tcx> = Deprecation

impl ParameterizedOverTcx for DefKey

type Value<'tcx> = DefKey

impl ParameterizedOverTcx for StrippedCfgItem<DefIndex>

type Value<'tcx> = StrippedCfgItem<DefIndex>

impl ParameterizedOverTcx for Stability

type Value<'tcx> = Stability

impl ParameterizedOverTcx for DefaultBodyStability

type Value<'tcx> = DefaultBodyStability

impl ParameterizedOverTcx for DocLinkResMap

type Value<'tcx> = HashMap<(Symbol, Namespace), Option<Res<NodeId>>, BuildHasherDefault<FxHasher>>

impl ParameterizedOverTcx for ExpnHash

type Value<'tcx> = ExpnHash

impl ParameterizedOverTcx for SyntaxContextData

type Value<'tcx> = SyntaxContextData

impl ParameterizedOverTcx for DefKind

type Value<'tcx> = DefKind

impl ParameterizedOverTcx for FiniteBitSet<u32>

type Value<'tcx> = FiniteBitSet<u32>

impl ParameterizedOverTcx for IsAsync

type Value<'tcx> = IsAsync

Implementors

impl ParameterizedOverTcx for ExportedSymbol<'static>

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

impl ParameterizedOverTcx for ObjectLifetimeDefault

type Value<'tcx> = ObjectLifetimeDefault

impl ParameterizedOverTcx for AssocItemContainer

type Value<'tcx> = AssocItemContainer

impl ParameterizedOverTcx for Asyncness

type Value<'tcx> = Asyncness

impl ParameterizedOverTcx for ClauseKind<'static>

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

impl ParameterizedOverTcx for ImplPolarity

type Value<'tcx> = ImplPolarity

impl ParameterizedOverTcx for ImplTraitInTraitData

type Value<'tcx> = ImplTraitInTraitData

impl ParameterizedOverTcx for Variance

type Value<'tcx> = Variance

impl ParameterizedOverTcx for Visibility<DefIndex>

type Value<'tcx> = Visibility<DefIndex>

impl ParameterizedOverTcx for SimplifiedType

type Value<'tcx> = SimplifiedType

impl ParameterizedOverTcx for ModChild

type Value<'tcx> = ModChild

impl ParameterizedOverTcx for CodegenFnAttrs

type Value<'tcx> = CodegenFnAttrs

impl ParameterizedOverTcx for DebuggerVisualizerFile

type Value<'tcx> = DebuggerVisualizerFile

impl ParameterizedOverTcx for SymbolExportInfo

type Value<'tcx> = SymbolExportInfo

impl ParameterizedOverTcx for ConstQualifs

type Value<'tcx> = ConstQualifs

impl ParameterizedOverTcx for GeneratorLayout<'static>

type Value<'tcx> = GeneratorLayout<'tcx>

impl ParameterizedOverTcx for Body<'static>

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

impl ParameterizedOverTcx for CoerceUnsizedInfo

type Value<'tcx> = CoerceUnsizedInfo

impl ParameterizedOverTcx for Const<'static>

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

impl ParameterizedOverTcx for DeducedParamAttrs

type Value<'tcx> = DeducedParamAttrs

impl ParameterizedOverTcx for GenericPredicates<'static>

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

impl ParameterizedOverTcx for Generics

type Value<'tcx> = Generics

impl ParameterizedOverTcx for UnusedGenericParams

type Value<'tcx> = UnusedGenericParams

impl ParameterizedOverTcx for Clause<'static>

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

impl ParameterizedOverTcx for Predicate<'static>

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

impl ParameterizedOverTcx for ReprOptions

type Value<'tcx> = ReprOptions

impl ParameterizedOverTcx for Ty<'static>

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

impl ParameterizedOverTcx for FnSig<'static>

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

impl ParameterizedOverTcx for TraitRef<'static>

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

impl ParameterizedOverTcx for TraitDef

type Value<'tcx> = TraitDef

impl<T: ParameterizedOverTcx> ParameterizedOverTcx for EarlyBinder<T>

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

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

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