Checkpoint

Author: vandenheuvel

src/librustc_traits/Cargo.toml

@@ -16,6 +16,7 @@ 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"] }

src/librustc_traits/chalk/mod.rs

@@ -81,7 +81,10 @@ crate fn evaluate_goal<'tcx>(
         universes: max_universe + 1,
     };
 
-    let solver_choice = chalk_solve::SolverChoice::SLG { max_size: 32, expected_answers: None };
+    let solver_choice = chalk_integration::SolverChoice::SLG {
+        max_size: 32,
+        expected_answers: None,
+    };
     let mut solver = solver_choice.into_solver::<ChalkRustInterner<'tcx>>();
 
     let db = ChalkRustIrDatabase { tcx, interner };