Module build 

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

EvaluationStepBuilder 🔒

ProofTreeBuilder 🔒

We need to know whether to build a prove tree while evaluating. We pass a ProofTreeBuilder with state: Some(None) into the search graph which then causes the initial EvalCtxt::compute_goal to actually build a proof tree which then gets written into the state.

WipEvaluationStep 🔒

WipProbe 🔒

Enums

WipProbeStep 🔒