Expand description
Things related to the Interner in the next-trait-solver.
Modules§
Macros§
- Trivial
Type 🔒Traversal Impls - as_
lang_ 🔒item - impl_
foldable_ 🔒for_ interned_ slice - impl_
gc_ 🔒visit - impl_
gc_ 🔒visit_ slice - impl_
stored_ 🔒interned - impl_
stored_ 🔒interned_ slice - interned_
slice 🔒 - is_
lang_ 🔒item
Structs§
- AdtDef
- AdtFlags 🔒
- AllocId
- Bound
VarKinds - Bound
VarKinds Storage - Canonical
VarKinds - Canonical
Vars Storage - DbInterner
- DepNode
Index - Features
- PatList
- PatList
Storage - Pattern
- Pattern
Interned 🔒 - Stored
Bound VarKinds - Stored
Canonical Vars - Stored
PatList - Stored
Variances Of - Symbol
- Tracked
- Unsizing
Params - Variances
Of - Variances
OfStorage
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
- is_
clause_ 🔒at_ ty - is_
ty_ 🔒self - predicates_
of 🔒 - with_
attached_ db