Use Solver from chalk_solve

rust-lang · Aug 13, 2020 · b919403 · b919403
1 parent 39829d9
commit b919403
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/librustc_traits/Cargo.toml b/src/librustc_traits/Cargo.toml
@@ -16,7 +16,6 @@ rustc_hir = { path = "../librustc_hir" }
 rustc_index = { path = "../librustc_index" }
 rustc_ast = { path = "../librustc_ast" }
 rustc_span = { path = "../librustc_span" }
-chalk-integration = "0.19.0"
 chalk-ir = "0.19.0"
 chalk-solve = "0.19.0"
 smallvec = { version = "1.0", features = ["union", "may_dangle"] }

diff --git a/src/librustc_traits/chalk/mod.rs b/src/librustc_traits/chalk/mod.rs
@@ -81,7 +81,7 @@ crate fn evaluate_goal<'tcx>(
         universes: max_universe + 1,
     };
 
-    let solver_choice = chalk_integration::SolverChoice::SLG {
+    let solver_choice = chalk_solve::solve::SLGSolver {
         max_size: 32,
         expected_answers: None,
     };