https://doc.rust-lang.org/nightly/nightly-rustc/rustc_infer/infer/canonical/ir/solve/inspect/struct.GoalEvaluation.html
GoalEvaluation in rustc_infer::infer::canonical::ir::solve::inspect - Rust
When evaluating a goal we also store the original values for the `CanonicalVarValues` of the canonicalized goal. We use this to map any CanonicalState from the...
rustcinfercanonicalirsolve