diff options
| author | lcnr <rust@lcnr.de> | 2025-09-08 11:41:43 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-09-08 14:17:56 +0200 |
| commit | b51a3a565a056235f3864e2cefdb9449f6b0dcb1 (patch) | |
| tree | 525669b67e94ecdfe97995123eb4f79886831f2d /compiler/rustc_next_trait_solver/src/solve/mod.rs | |
| parent | f51458640840cb94c32f1e55431b1c855ca22e88 (diff) | |
| download | rust-b51a3a565a056235f3864e2cefdb9449f6b0dcb1.tar.gz rust-b51a3a565a056235f3864e2cefdb9449f6b0dcb1.zip | |
review
Diffstat (limited to 'compiler/rustc_next_trait_solver/src/solve/mod.rs')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/mod.rs b/compiler/rustc_next_trait_solver/src/solve/mod.rs index 91b83e6cbbe..db3460c4ff6 100644 --- a/compiler/rustc_next_trait_solver/src/solve/mod.rs +++ b/compiler/rustc_next_trait_solver/src/solve/mod.rs @@ -121,7 +121,7 @@ where fn compute_subtype_goal(&mut self, goal: Goal<I, ty::SubtypePredicate<I>>) -> QueryResult<I> { match (goal.predicate.a.kind(), goal.predicate.b.kind()) { (ty::Infer(ty::TyVar(a_vid)), ty::Infer(ty::TyVar(b_vid))) => { - self.sub_ty_vids_raw(a_vid, b_vid); + self.sub_unify_ty_vids_raw(a_vid, b_vid); self.evaluate_added_goals_and_make_canonical_response(Certainty::AMBIGUOUS) } _ => { |