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.
- fulfill
- Fulfill loop for next-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.
- normalize
- obligation_
ctxt - predicate
- Things related to predicates.
- util
- Various utilities for the next-trait-solver.
Structs§
- AdtDef
- AdtDef
Inner - AdtFlags
- AdtId
Wrapper - AllocId
- Bound
Const - Bound
Existential Predicates - Bound
Region - BoundTy
- Bound
VarKinds - Callable
IdWrapper - Canonical
Vars - Clause
- Clauses
- Closure
IdWrapper - Const
- Const
Bytes - Coroutine
IdWrapper - DbInterner
- DepNode
Index - Early
Param Region - Error
Guaranteed - Expr
Const - External
Constraints - Features
- General
Const IdWrapper - Generic
Args - Impl
IdWrapper - 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
- Type
Alias IdWrapper - Tys
- Unsizing
Params - Valtree
- Value
Const - A type-level constant value.
- Variances
Of - Variant
Idx
Enums§
Functions§
- attach_
db - attach_
db_ allow_ change - clear_
tls_ solver_ cache - Clears the thread-local trait solver cache.
- error_
for_ param_ kind - mk_
param - references_
non_ lt_ error - with_
attached_ db
Type Aliases§
- Alias
Term - AliasTy
- ArgOutlives
Predicate - 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
- FnSig
- FxIndex
Map - Goal
- Impl
Trait Idx - 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 - Predicate
Kind - Projection
Predicate - Query
Result - Region
Kind - Region
Outlives Predicate - Simplified
Type - Subtype
Predicate - Trait
Predicate - Trait
Ref - TyKind
- Type
Error - Type
Outlives Predicate - Typing
Mode - Unevaluated
Const