diff options
| author | lcnr <rust@lcnr.de> | 2024-05-06 21:33:57 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-05-07 15:58:06 +0000 |
| commit | 690d5aa417f5d8f8d6157e5a897df5d7dd2ef59a (patch) | |
| tree | 6773069e3dd528d27c2fe6c6b011adb9dee4467f /compiler/rustc_trait_selection/src | |
| parent | 31110152e2b3ce3c009be4a0a13edaff7c008b61 (diff) | |
| download | rust-690d5aa417f5d8f8d6157e5a897df5d7dd2ef59a.tar.gz rust-690d5aa417f5d8f8d6157e5a897df5d7dd2ef59a.zip | |
generalize hr alias: avoid unconstrainable infer vars
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/inspect/build.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/inspect/build.rs b/compiler/rustc_trait_selection/src/solve/inspect/build.rs index 466d0d80060..a6aebc8d65a 100644 --- a/compiler/rustc_trait_selection/src/solve/inspect/build.rs +++ b/compiler/rustc_trait_selection/src/solve/inspect/build.rs @@ -372,7 +372,10 @@ impl<'tcx> ProofTreeBuilder<'tcx> { ( DebugSolver::GoalEvaluation(goal_evaluation), DebugSolver::CanonicalGoalEvaluation(canonical_goal_evaluation), - ) => goal_evaluation.evaluation = Some(canonical_goal_evaluation), + ) => { + let prev = goal_evaluation.evaluation.replace(canonical_goal_evaluation); + assert_eq!(prev, None); + } _ => unreachable!(), } } |