Module rustc_type_ir::search_graph

Modules

• global_cache 🔒
• validate 🔒

Structs

• AvailableDepth 🔒
• DetachedEntry 🔒
  The provisional result for a goal which is not on the stack.
• GlobalCache
• ProvisionalCacheEntry 🔒
  Stores the stack depth of a currently evaluated goal and already computed results for goals which depend on other goals still on the stack.
• SearchGraph
• StackDepth
• StackEntry 🔒

Enums

• CycleKind
  In the initial iteration of a cycle, we do not yet have a provisional result. In the case we return an initial provisional result depending on the kind of cycle.
• StepResult 🔒
• UsageKind

Traits

• Cx
  The search graph does not simply use Interner directly to enable its fuzzing without having to stub the rest of the interner. We don’t make this a super trait of Interner as users of the shared type library shouldn’t have to care about Input and Result as they are implementation details of the search graph.
• Delegate
• ProofTreeBuilder