Expand description
Things relevant to the next trait solver.
Re-exports§
Modules§
- abi
- ABI-related things in the next-trait-solver.
- allocation 🔒
- binder 🔒
- consts 🔒
- Things related to consts in the next-trait-solver.
- def_id 🔒
- Definition of
SolverDefId - fold
- Fold impls for the next-trait-solver.
- format_
proof_ tree - fulfill
- Fulfill loop for next-solver.
- generic_
arg 🔒 - Things related to generic args in the next-trait-solver (
GenericArg,GenericArgs,Term). - generics
- Things related to generics in the next-trait-solver.
- infer
- Infer context the next-trait-solver.
- inspect 🔒
- interner
- Things related to the Interner in the next-trait-solver.
- ir_
print 🔒 - Things related to IR printing in the next-trait-solver.
- normalize
- obligation_
ctxt - opaques 🔒
- Things related to opaques in the next-trait-solver.
- predicate
- Things related to predicates.
- region 🔒
- Things related to regions.
- solver 🔒
- Defining
SolverContextfor next-trait-solver. - structural_
normalize 🔒 - ty 🔒
- Things related to tys in the next-trait-solver.
- util
- Various utilities for the next-trait-solver.
Structs§
- AdtId
Wrapper - Allocation
- Allocation
Data - Callable
IdWrapper - Char
TryFrom Scalar Int - Error returned when a conversion from ScalarInt to char fails.
- Closure
IdWrapper - Const
- Consts
- Consts
Storage - Coroutine
Closure IdWrapper - Coroutine
IdWrapper - Default
Any - Default
Consts - Default
Empty - Default
Regions - Default
Types - Early
Param Region - Error
Guaranteed - Expr
Const - External
Constraints - Free
Const Alias Id - Free
Term Alias Id - Free
TyAlias Id - General
Const IdWrapper - Generic
Arg - Generic
Args - Generic
Args Storage - Impl
OrTrait Assoc Const Id - Impl
OrTrait Assoc Term Id - Impl
OrTrait Assoc TyId - Inherent
Assoc Const Id - Inherent
Assoc Term Id - Inherent
Assoc TyId - Late
Param Region - Represents a liberated late-bound function lifetime parameter.
- Opaque
TyId Wrapper - Param
Const - ParamTy
- Predefined
Opaques - Predefined
Opaques Storage - Region
- Region
Assumptions - Region
Assumptions Storage - Scalar
Int - The raw bytes of a simple value.
- Solver
DefIds - Solver
DefIds Storage - Stored
Allocation - Stored
Const - Stored
Consts - Stored
Early Binder - Stored
Generic Arg - Stored
Generic Args - Stored
Poly FnSig - Stored
Predefined Opaques - Stored
Region - Stored
Region Assumptions - Stored
Solver DefIds - Stored
Trait Ref - Stored
Ty - Stored
Tys - Term
- Trait
Assoc Const Id - Trait
Assoc Term Id - Trait
Assoc TyId - Trait
IdWrapper - Ty
- Type
Alias IdWrapper - Tys
- TysStorage
- ValTree
- Value
Const - A type-level constant value.
Enums§
Functions§
Type Aliases§
- Alias
Term Kind - AliasTy
- Alias
TyKind - Binder
- Bound
Const - Bound
Region - Bound
Region Kind - BoundTy
- Bound
TyKind - Canonical
- Canonical
Query Input - Canonical
VarKind - Canonical
VarValues - Const
Kind - Early
Binder - External
Constraints Data - FnHeader
- FnSig
- FnSig
Kind - FxIndex
Map - Generic
ArgKind - Goal
- Impl
Trait Idx - Opaque
Type Key - Placeholder
Const - Placeholder
Region - Placeholder
Type - Poly
FnSig - Query
Result - Region
Constraint - Region
Kind - Simplified
Type - Term
Kind - TyKind
- Type
Error - Typing
Mode - Unevaluated
Const - Unnormalized
- ValTree
Kind