canonical comment

lcnr · lcnr · commit 6e4e6b917da4 · 2024-04-25T19:43:01.000Z
diff --git a/compiler/rustc_trait_selection/src/solve/eval_ctxt/canonical.rs b/compiler/rustc_trait_selection/src/solve/eval_ctxt/canonical.rs
@@ -377,6 +377,10 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
     }
 }
 
+/// Used by proof trees to be able to recompute intermediate actions while
+/// evaluating a goal. The `var_values` not only include the bound variables
+/// of the query input, but also contain all unconstrained inference vars
+/// created while evaluating this goal.
 pub(in crate::solve) fn make_canonical_state<'tcx, T: TypeFoldable<TyCtxt<'tcx>>>(
     infcx: &InferCtxt<'tcx>,
     var_values: &[ty::GenericArg<'tcx>],

Original file line number	Diff line number	Diff line change
`@@ -377,6 +377,10 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {`
`377`	`377`	`}`
`378`	`378`	`}`
`379`	`379`
	`380`	`+/// Used by proof trees to be able to recompute intermediate actions while`
	`381`	+/// evaluating a goal. The `var_values` not only include the bound variables
	`382`	`+/// of the query input, but also contain all unconstrained inference vars`
	`383`	`+/// created while evaluating this goal.`
`380`	`384`	`pub(in crate::solve) fn make_canonical_state<'tcx, T: TypeFoldable<TyCtxt<'tcx>>>(`
`381`	`385`	`infcx: &InferCtxt<'tcx>,`
`382`	`386`	`var_values: &[ty::GenericArg<'tcx>],`