Module rustc_trait_selection::infer::canonical::ir::search_graph
source · Structs§
Enums§
- 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.
Traits§
- 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 ofInterner
as users of the shared type library shouldn’t have to care aboutInput
andResult
as they are implementation details of the search graph.