Module interner

Module interner 

Expand description

Things related to the Interner in the next-trait-solver.

Structs§

AdtDef
AdtDefInner
AdtFlags
AllocId
BoundVarKinds
BoundVarKindsStorage
CanonicalVars
CanonicalVarsStorage
DbInterner
DepNodeIndex
Features
PatList
PatListStorage
Pattern
Placeholder
Span
StoredBoundVarKinds
StoredCanonicalVars
StoredPatList
StoredVariancesOf
Tracked
UnsizingParams
VariancesOf
VariancesOfStorage
VariantIdx

Enums§

BoundVarKind
VariantDef

Traits§

WorldExposer
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

Type Aliases§

PatternKind