Skip to main content

Module inherent

Module inherent 

Source
Expand description

Set of traits which are used to emulate the inherent impls that are present in rustc_middle. It is customary to glob-import rustc_type_ir::inherent::* to bring all of these traits into scope when programming in interner-agnostic settings, and to avoid importing any of these directly elsewhere (i.e. specify the full path for an implementation downstream).

Traitsยง

Abi
AdtDef
BoundExistentialPredicates
Clause
Clauses
Const
DefId
ExprConst
Features
GenericArg
GenericArgs
GenericsOf
IntoKind
OpaqueTypeStorageEntries
ParamEnv
ParamLike
Predicate
Region
Safety
SliceLike
Span
SpecificDefId
Symbol
Term
Ty
Tys
ValTree
ValueConst