Module rustc_trait_selection::solve::inspect::build
source · Expand description
Building proof trees incrementally during trait solving.
This code is a bit of a mess and can hopefully be mostly ignored. For a general overview of how it works, see the comment on ProofTreeBuilder.
Structs
- The core data structure when building proof trees.
- WipProbe 🔒
Enums
- The current state of the proof tree builder, at most places in the code, only one or two variants are actually possible.