fixup first commit

lcnr · lcnr · commit cdc46218a685 · 2023-11-09T11:04:21.000+01:00
diff --git a/compiler/rustc_trait_selection/src/solve/inspect/build.rs b/compiler/rustc_trait_selection/src/solve/inspect/build.rs
@@ -467,7 +467,7 @@ impl<'tcx> ProofTreeBuilder<'tcx> {
     /// of the probe into the parent.
     pub fn integrate_snapshot(&mut self, probe: ProofTreeBuilder<'tcx>) {
         if let Some(this) = self.as_mut() {
-            match (this, probe.state.unwrap().tree) {
+            match (this, *probe.state.unwrap()) {
                 (
                     DebugSolver::Probe(WipProbe { steps, .. })
                     | DebugSolver::GoalEvaluationStep(WipGoalEvaluationStep {

Original file line number	Diff line number	Diff line change
`@@ -467,7 +467,7 @@ impl<'tcx> ProofTreeBuilder<'tcx> {`
`467`	`467`	`/// of the probe into the parent.`
`468`	`468`	`pub fn integrate_snapshot(&mut self, probe: ProofTreeBuilder<'tcx>) {`
`469`	`469`	`if let Some(this) = self.as_mut() {`
`470`		`- match (this, probe.state.unwrap().tree) {`
	`470`	`+ match (this, *probe.state.unwrap()) {`
`471`	`471`	`(`
`472`	`472`	`DebugSolver::Probe(WipProbe { steps, .. })`
`473`	`473`	`\| DebugSolver::GoalEvaluationStep(WipGoalEvaluationStep {`