Module next_solver
Expand description
Things relevant to the next trait solver.
Modules§
- abi
- ABI-related things in the next-trait-solver.
- fold
- Fold impls for the next-trait-solver.
- generics
- Things related to generics in the next-trait-solver.
- infer
- Infer context the next-trait-solver.
- interner
- Things related to the Interner in the next-trait-solver.
- mapping
- Things useful for mapping to/from Chalk and next-trait-solver types.
- predicate
- Things related to predicates.
- util
- Various utilities for the next-trait-solver.
Structs§
- AdtDef
- AdtDef
Inner - AdtFlags
- AllocId
- Bound
Const - Bound
Existential Predicates - Bound
Region - BoundTy
- Bound
VarKinds - Canonical
Vars - Clause
- Clauses
- Const
- Const
Bytes - DbInterner
- DepNode
Index - Early
Param Region - Error
Guaranteed - Expr
Const - External
Constraints - Features
- Generic
Args - Interned
Clauses Wrapper - Interned
Wrapper NoDebug - Late
Param Region - The parameter representation of late-bound function parameters, “some region
at least as big as the scope
fr.scope”. - Param
Const - Param
Env - Param
EnvAnd - ParamTy
- PatList
- Pattern
- Placeholder
- Predefined
Opaques - Predicate
- Region
- Region
Assumptions - Solver
DefIds - Span
- Tracked
- Trait
IdWrapper - Ty
- Tys
- Unsizing
Params - Valtree
- Value
Const - A type-level constant value.
- Variances
Of - Variant
Idx
Enums§
Functions§
Type Aliases§
- Alias
Term - AliasTy
- Binder
- Bound
Existential Predicate - Canonical
- Canonical
Query Input - Canonical
VarKind - Canonical
VarValues - Clause
Kind - Coerce
Predicate - Const
Kind - Early
Binder - Existential
Predicate - Existential
Projection - Existential
Trait Ref - External
Constraints Data - FnHeader
- FxIndex
Map - Goal
- Normalizes
To - Opaque
Type Key - Outlives
Predicate - Pattern
Kind - Placeholder
Const - Placeholder
Region - Placeholder
Ty - Poly
Coerce Predicate - Poly
Existential Projection - Poly
Existential Trait Ref - Poly
FnSig - Poly
Projection Predicate - Poly
Region Outlives Predicate - Poly
Subtype Predicate - Poly
Trait Predicate - Poly
Trait Ref - Poly
Type Outlives Predicate - Predefined
Opaques Data - Predicate
Kind - Projection
Predicate - Region
Outlives Predicate - Subtype
Predicate - Trait
Predicate - Trait
Ref - TyKind
- Type
Outlives Predicate - Typing
Mode - Unevaluated
Const