Expand description
Things related to the Interner in the next-trait-solver.
Structs§
- AdtDef
- AllocId
- Bound
VarKinds - Bound
VarKinds Storage - Canonical
VarKinds - Canonical
Vars Storage - DbInterner
- DepNode
Index - Features
- PatList
- PatList
Storage - Pattern
- Stored
Bound VarKinds - Stored
Canonical Vars - Stored
PatList - Stored
Variances Of - Symbol
- Tracked
- Unsizing
Params - Variances
Of - Variances
OfStorage
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
- with_
attached_ db