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.
- format_
proof_ tree - 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
Existential Predicates Storage - Bound
Region - BoundTy
- Bound
VarKinds - Bound
VarKinds Storage - Callable
IdWrapper - Canonical
Vars - Canonical
Vars Storage - Clause
- Clauses
- Clauses
Cached Type Info - Clauses
Storage - Closure
IdWrapper - Const
- Const
Bytes - Coroutine
IdWrapper - DbInterner
- Default
Any - Default
Consts - Default
Empty - Default
Regions - Default
Types - DepNode
Index - Early
Param Region - Error
Guaranteed - Expr
Const - External
Constraints - Features
- General
Const IdWrapper - Generic
Arg - Generic
Args - Generic
Args Storage - 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
- PatList
Storage - Pattern
- Placeholder
- Predefined
Opaques - Predefined
Opaques Storage - Predicate
- Region
- Region
Assumptions - Region
Assumptions Storage - Solver
DefIds - Solver
DefIds Storage - Span
- Stored
Bound Existential Predicates - Stored
Bound VarKinds - Stored
Canonical Vars - Stored
Clauses - Stored
Const - Stored
Early Binder - Stored
Generic Arg - Stored
Generic Args - Stored
PatList - Stored
Poly FnSig - Stored
Predefined Opaques - Stored
Region - Stored
Region Assumptions - Stored
Solver DefIds - Stored
Ty - Stored
Tys - Stored
Variances Of - Term
- Tracked
- Trait
IdWrapper - Ty
- Type
Alias IdWrapper - Tys
- TysStorage
- Unsizing
Params - Valtree
- Value
Const - A type-level constant value.
- Variances
Of - Variances
OfStorage - Variant
Idx
Enums§
Traits§
- World
Exposer - This is a visitor trait that treats any interned thing specifically. Visitables are expected to call the trait’s methods when encountering an interned. This is used to implement marking in GC.
Functions§
- attach_
db - attach_
db_ allow_ change - clear_
tls_ solver_ cache - Clears the thread-local trait solver cache.
- collect_
ty_ ⚠garbage - Safety
- default_
types - error_
for_ param_ kind - mk_
param - references_
non_ lt_ error - references_
only_ ty_ 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 - Generic
ArgKind - 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 - Term
Kind - Trait
Predicate - Trait
Ref - TyKind
- Type
Error - Type
Outlives Predicate - Typing
Mode - Unevaluated
Const