rustc_
middle
1.83.0
(90b35a623 2024-11-26)
Parameterized
Over
Tcx
Required Associated Types
Value
Implementations on Foreign Types
&'static [T]
()
(A, B)
Attribute
BitSet<u32>
ConstStability
Constness
CoroutineKind
DefId
DefIndex
DefKey
DefKind
DefPathHash
DefaultBodyStability
Defaultness
DelimArgs
Deprecation
DocLinkResMap
ExpnData
ExpnHash
ExpnId
FiniteBitSet<u32>
ForeignModule
Ident
IndexVec<I, T>
IsAsync
LangItem
LinkagePreference
NativeLib
Option<T>
SourceFile
Span
Stability
String
StrippedCfgItem<DefIndex>
Symbol
SyntaxContextData
UnordMap<I, T>
bool
u32
u64
usize
Object Safety
Implementors
In rustc_
middle::
ty
rustc_middle
::
ty
Trait
ParameterizedOverTcx
Copy item path
source
pub trait ParameterizedOverTcx: 'static { type
Value
<'tcx>; }
Required Associated Types
§
source
type
Value
<'tcx>
Object Safety
§
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
§
type
Value
<'tcx> =
Constness
source
§
impl
ParameterizedOverTcx
for
CoroutineKind
source
§
type
Value
<'tcx> =
CoroutineKind
source
§
impl
ParameterizedOverTcx
for
Defaultness
source
§
type
Value
<'tcx> =
Defaultness
source
§
impl
ParameterizedOverTcx
for
IsAsync
source
§
type
Value
<'tcx> =
IsAsync
source
§
impl
ParameterizedOverTcx
for
LangItem
source
§
type
Value
<'tcx> =
LangItem
source
§
impl
ParameterizedOverTcx
for
LinkagePreference
source
§
type
Value
<'tcx> =
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
Attribute
source
§
type
Value
<'tcx> =
Attribute
source
§
impl
ParameterizedOverTcx
for
DelimArgs
source
§
type
Value
<'tcx> =
DelimArgs
source
§
impl
ParameterizedOverTcx
for
StrippedCfgItem
<
DefIndex
>
source
§
type
Value
<'tcx> =
StrippedCfgItem
<
DefIndex
>
source
§
impl
ParameterizedOverTcx
for
ConstStability
source
§
type
Value
<'tcx> =
ConstStability
source
§
impl
ParameterizedOverTcx
for
DefaultBodyStability
source
§
type
Value
<'tcx> =
DefaultBodyStability
source
§
impl
ParameterizedOverTcx
for
Deprecation
source
§
type
Value
<'tcx> =
Deprecation
source
§
impl
ParameterizedOverTcx
for
Stability
source
§
type
Value
<'tcx> =
Stability
source
§
impl
ParameterizedOverTcx
for
DefKey
source
§
type
Value
<'tcx> =
DefKey
source
§
impl
ParameterizedOverTcx
for
BitSet
<
u32
>
source
§
type
Value
<'tcx> =
BitSet
<
u32
>
source
§
impl
ParameterizedOverTcx
for
FiniteBitSet
<
u32
>
source
§
type
Value
<'tcx> =
FiniteBitSet
<
u32
>
source
§
impl
ParameterizedOverTcx
for
ForeignModule
source
§
type
Value
<'tcx> =
ForeignModule
source
§
impl
ParameterizedOverTcx
for
NativeLib
source
§
type
Value
<'tcx> =
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
§
type
Value
<'tcx> =
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
§
type
Value
<'tcx> =
SyntaxContextData
source
§
impl
ParameterizedOverTcx
for
Span
source
§
type
Value
<'tcx> =
Span
source
§
impl
ParameterizedOverTcx
for
SourceFile
source
§
type
Value
<'tcx> =
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
§
type
Value
<'tcx> =
UnordMap
<(
Symbol
,
Namespace
),
Option
<
Res
<
NodeId
>>>
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
§
type
Value
<'tcx> =
FeatureStability
source
§
impl
ParameterizedOverTcx
for
ObjectLifetimeDefault
source
§
type
Value
<'tcx> =
ObjectLifetimeDefault
source
§
impl
ParameterizedOverTcx
for
AssocItemContainer
source
§
type
Value
<'tcx> =
AssocItemContainer
source
§
impl
ParameterizedOverTcx
for
Asyncness
source
§
type
Value
<'tcx> =
Asyncness
source
§
impl
ParameterizedOverTcx
for
ImplPolarity
source
§
type
Value
<'tcx> =
ImplPolarity
source
§
impl
ParameterizedOverTcx
for
ImplTraitInTraitData
source
§
type
Value
<'tcx> =
ImplTraitInTraitData
source
§
impl
ParameterizedOverTcx
for
Variance
source
§
type
Value
<'tcx> =
Variance
source
§
impl
ParameterizedOverTcx
for
Visibility
<
DefIndex
>
source
§
type
Value
<'tcx> =
Visibility
<
DefIndex
>
source
§
impl
ParameterizedOverTcx
for
ModChild
source
§
type
Value
<'tcx> =
ModChild
source
§
impl
ParameterizedOverTcx
for
CodegenFnAttrs
source
§
type
Value
<'tcx> =
CodegenFnAttrs
source
§
impl
ParameterizedOverTcx
for
DebuggerVisualizerFile
source
§
type
Value
<'tcx> =
DebuggerVisualizerFile
source
§
impl
ParameterizedOverTcx
for
SymbolExportInfo
source
§
type
Value
<'tcx> =
SymbolExportInfo
source
§
impl
ParameterizedOverTcx
for
ConstAllocation
<'static>
source
§
type
Value
<'tcx> =
ConstAllocation
<'tcx>
source
§
impl
ParameterizedOverTcx
for
ConstQualifs
source
§
type
Value
<'tcx> =
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
§
type
Value
<'tcx> =
CoerceUnsizedInfo
source
§
impl
ParameterizedOverTcx
for
Const
<'static>
source
§
type
Value
<'tcx> =
Const
<'tcx>
source
§
impl
ParameterizedOverTcx
for
DeducedParamAttrs
source
§
type
Value
<'tcx> =
DeducedParamAttrs
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
§
type
Value
<'tcx> =
UnusedGenericParams
source
§
impl
ParameterizedOverTcx
for
IntrinsicDef
source
§
type
Value
<'tcx> =
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
ReprOptions
source
§
type
Value
<'tcx> =
ReprOptions
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
§
type
Value
<'tcx> =
SimplifiedType
<
DefId
>
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>>