Term
Kind
Pack
Ext
rustc_
middle
1.84.0-beta.6
(953a5caef 2025-01-03)
Term
Kind
Pack
Ext
Required Methods
pack
Implementors
In rustc_
middle::
ty
Modules
abstract_const
adjustment
adt
assoc
cast
closure
codec
consts
context
data_structures
diagnostics
elaborate
elaborate_impl
erase_regions
error
fast_reject
flags
fold
generic_args
generics
impls_ty
inhabitedness
inherent
instance
intrinsic
ir_print
lang_items
layout
lift
list
normalize_erasing_regions
opaque_types
outlives
parameterized
pattern
predicate
print
region
relate
rvalue_scopes
search_graph
size_asserts
solve
structural_impls
sty
tls
trait_def
typeck_results
util
visit
vtable
walk
Macros
try_visit
Structs
AdtDef
AdtDefData
AdtFlags
AssocItem
AssocItems
AsyncDestructor
BoundConst
BoundRegion
BoundTy
BoundVar
CReaderCacheKey
Canonical
CanonicalQueryInput
CanonicalUserTypeAnnotation
CanonicalVarInfo
CanonicalVarValues
CaptureInfo
CapturedPlace
Clause
ClosureArgs
ClosureArgsParts
ClosureSizeProfileData
ClosureTypeInfo
Const
ConstConditions
ConstInt
ConstVid
CoroutineArgs
CoroutineArgsParts
CoroutineClosureArgs
CoroutineClosureArgsParts
CoroutineClosureSignature
CrateInherentImpls
CratePredicatesMap
CrateVariancesMap
CtxtInterners
CurrentGcx
DebruijnIndex
DeducedParamAttrs
DelegationFnSig
Destructor
DestructuredConst
EarlyBinderIter
EarlyParamRegion
Expr
Feed
FieldDef
FloatVid
FnHeader
FnSigTys
FreeRegionInfo
GenSig
GenericArg
GenericParamCount
GenericParamDef
GenericPredicates
Generics
GlobalCtxt
ImplHeader
ImplTraitHeader
InferVarInfo
InlineConstArgs
InlineConstArgsParts
Instance
InstantiatedPredicates
IntVid
IntrinsicDef
IsSuggestableVisitor
IterIdentityCopied
IterInstantiated
IterInstantiatedCopied
LateParamRegion
MainDefinition
MakeSuggestableFolder
OpaqueHiddenType
ParamConst
ParamEnv
ParamEnvAnd
ParamTag
ParamTy
Placeholder
Predicate
PseudoCanonicalInput
Region
RegionVid
ResolverAstLowering
ResolverGlobalCtxt
ResolverOutputs
RvalueScopes
ScalarInt
ShortInstance
StaticLifetimeVisitor
SymbolName
Term
TraitObjectVisitor
Ty
TyCtxt
TyCtxtFeed
TyVid
TypeFlags
TypeckResults
TypingEnv
UniverseIndex
UnusedGenericParams
UpvarId
UpvarPath
UserArgs
UserSelfTy
UserTypeAnnotationIndex
ValidateBoundVars
VariantDef
VariantFlags
WithCachedTypeInfo
Enums
AdtKind
AliasRelationDirection
AliasTermKind
AliasTyKind
AssocItemContainer
AssocKind
Asyncness
BorrowKind
BoundConstness
BoundRegionKind
BoundTyKind
BoundVariableKind
CanonicalTyVarKind
CanonicalVarKind
ClosureKind
DynKind
ExprKind
FloatTy
FloatVarValue
GenericParamDefKind
ImplOverlapKind
ImplPolarity
ImplSubject
ImplTraitInTraitData
InferConst
InferTy
InstanceKind
IntTy
IntVarValue
Movability
Mutability
ParamTerm
PredicatePolarity
ReifyReason
Representability
TermVid
UintTy
UpvarArgs
UpvarCapture
UserType
ValTree
Variance
VarianceDiagInfo
VariantDiscr
Visibility
Constants
CAPTURE_STRUCT_LOCAL
CONST_TAG
INNERMOST
SHORTHAND_OFFSET
TAG_MASK
TYPE_TAG
Traits
Article
CollectAndApply
CoroutineArgsExt
ExistentialPredicateStableCmpExt
FallibleTypeFolder
InferCtxtLike
Interner
IsIdentity
IsSuggestable
Lift
ParameterizedOverTcx
RefDecodable
TermKindPackExt
ToPolyTraitRef
TyDecoder
TyEncoder
TypeFoldable
TypeFolder
TypeSuperFoldable
TypeSuperVisitable
TypeVisitable
TypeVisitableExt
TypeVisitor
Upcast
UpcastFrom
Functions
analyze_coroutine_closure_captures
ast_int_ty
ast_uint_ty
debug_bound_var
float_ty
int_ty
is_ancestor_or_same_capture
place_to_string_for_capture
provide
suggest_arbitrary_trait_bound
suggest_constraining_type_param
suggest_constraining_type_params
uint_ty
Type Aliases
AliasTerm
AliasTy
Binder
CanonicalPolyFnSig
CanonicalUserType
CanonicalUserTypeAnnotations
ClauseKind
Clauses
CoercePredicate
ConstKind
EarlyBinder
ExistentialPredicate
ExistentialProjection
ExistentialTraitRef
FnSig
GenericArgKind
GenericArgs
GenericArgsRef
HostEffectPredicate
List
ListWithCachedTypeInfo
MinCaptureInformationMap
MinCaptureList
NormalizesTo
OpaqueTypeKey
OutlivesPredicate
PlaceholderConst
PlaceholderRegion
PlaceholderType
PolyCoercePredicate
PolyExistentialPredicate
PolyExistentialProjection
PolyExistentialTraitRef
PolyFnSig
PolyProjectionPredicate
PolyRegionOutlivesPredicate
PolySubtypePredicate
PolyTraitPredicate
PolyTraitRef
PolyTypeOutlivesPredicate
PredicateKind
ProjectionPredicate
RegionKind
RegionOutlivesPredicate
RegisteredTools
RootVariableMinCaptureList
SubtypePredicate
TermKind
TraitPredicate
TraitRef
TyKind
TypeAndMut
TypeOutlivesPredicate
TypingMode
UnevaluatedConst
rustc_middle
::
ty
Trait
TermKindPackExt
Copy item path
Settings
Help
Summary
Source
pub trait TermKindPackExt<'tcx> { // Required method fn
pack
(self) ->
Term
<'tcx>; }
Required Methods
§
Source
fn
pack
(self) ->
Term
<'tcx>
Implementors
§
Source
§
impl<'tcx>
TermKindPackExt
<'tcx> for
TermKind
<'tcx>