Module generic_
arg
rustc_
type_
ir
1.84.0-dev
Module generic_
arg
Module Items
Enums
In crate rustc_
type_
ir
Modules
binder
canonical
codec
const_kind
data_structures
elaborate
error
fast_reject
flags
fold
generic_arg
infer_ctxt
inherent
interner
ir_print
lang_items
lift
macros
opaque_ty
outlives
predicate
predicate_kind
region_kind
relate
search_graph
solve
ty_info
ty_kind
upcast
visit
Structs
AliasTerm
AliasTy
Binder
BoundVar
Canonical
CanonicalQueryInput
CanonicalVarInfo
CanonicalVarValues
ClosureArgs
ClosureArgsParts
CoercePredicate
ConstVid
CoroutineArgs
CoroutineArgsParts
CoroutineClosureArgs
CoroutineClosureArgsParts
CoroutineClosureSignature
DebruijnIndex
EarlyBinder
EarlyBinderIter
ExistentialProjection
ExistentialTraitRef
FloatVid
FnHeader
FnSig
FnSigTys
GenSig
HostEffectPredicate
IntVid
IterIdentityCopied
IterInstantiated
IterInstantiatedCopied
NormalizesTo
OpaqueTypeKey
OutlivesPredicate
ProjectionPredicate
RegionVid
SubtypePredicate
TraitPredicate
TraitRef
TyVid
TypeAndMut
TypeFlags
UnevaluatedConst
UniverseIndex
ValidateBoundVars
WithCachedTypeInfo
Enums
AliasRelationDirection
AliasTermKind
AliasTyKind
BoundConstness
CanonicalTyVarKind
CanonicalVarKind
ClauseKind
ClosureKind
ConstKind
DynKind
ExistentialPredicate
FloatTy
FloatVarValue
GenericArgKind
ImplPolarity
InferConst
InferTy
IntTy
IntVarValue
PredicateKind
PredicatePolarity
RegionKind
TermKind
TyKind
TypingMode
UintTy
Variance
Constants
INNERMOST
Traits
CollectAndApply
InferCtxtLike
Interner
Upcast
UpcastFrom
Functions
debug_bound_var
rustc_type_ir
Module
generic_arg
Copy item path
Settings
Help
Summary
Source
Enums
§
Generic
ArgKind
Term
Kind