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
- Bound
Existential Predicates - Bound
VarLike - Clause
- Clauses
- Const
- DefId
- Expr
Const - Features
- Generic
Arg - Generic
Args - Generics
Of - Into
Kind - Opaque
Type Storage Entries - Param
Env - Param
Like - Placeholder
Const - Placeholder
Like - Common capabilities of placeholder kinds
- Predicate
- Region
- Safety
- Slice
Like - Span
- Specific
DefId - Term
- Ty
- Tys
- Value
Const