bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/solver.rs')
-rw-r--r--crates/hir-ty/src/next_solver/solver.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/hir-ty/src/next_solver/solver.rs b/crates/hir-ty/src/next_solver/solver.rs
index b9b2950a94..385149d784 100644
--- a/crates/hir-ty/src/next_solver/solver.rs
+++ b/crates/hir-ty/src/next_solver/solver.rs
@@ -9,12 +9,12 @@ use rustc_type_ir::{
solve::{Certainty, NoSolution},
};
+use crate::next_solver::mapping::NextSolverToChalk;
use crate::{
TraitRefExt,
db::HirDatabase,
next_solver::{
- ClauseKind, CoercePredicate, PredicateKind, SubtypePredicate,
- mapping::ChalkToNextSolver,
+ ClauseKind, CoercePredicate, PredicateKind, SubtypePredicate, mapping::ChalkToNextSolver,
util::sizedness_fast_path,
},
};
@@ -200,7 +200,7 @@ impl<'db> SolverDelegate for SolverContext<'db> {
SolverDefId::StaticId(c) => GeneralConstId::StaticId(c),
_ => unreachable!(),
};
- let subst = ChalkToNextSolver::from_nextsolver(uv.args, self.interner);
+ let subst = uv.args.to_chalk(self.interner);
let ec = self.cx().db.const_eval(c, subst, None).ok()?;
Some(ec.to_nextsolver(self.interner))
}