From 409090e74cd76de35d5ae5ddd7a1e353a9c161f6 Mon Sep 17 00:00:00 2001 From: Jeremy Kolb Date: Sun, 16 Aug 2020 12:15:44 -0400 Subject: Chalk 0.23 --- crates/hir_ty/Cargo.toml | 6 +++--- crates/hir_ty/src/traits.rs | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'crates') diff --git a/crates/hir_ty/Cargo.toml b/crates/hir_ty/Cargo.toml index 83b5013a9..a319b0ce8 100644 --- a/crates/hir_ty/Cargo.toml +++ b/crates/hir_ty/Cargo.toml @@ -16,9 +16,9 @@ ena = "0.14.0" log = "0.4.8" rustc-hash = "1.1.0" scoped-tls = "1" -chalk-solve = { version = "0.21.0" } -chalk-ir = { version = "0.21.0" } -chalk-recursive = { version = "0.21.0" } +chalk-solve = { version = "0.23.0" } +chalk-ir = { version = "0.23.0" } +chalk-recursive = { version = "0.23.0" } stdx = { path = "../stdx" } hir_def = { path = "../hir_def" } diff --git a/crates/hir_ty/src/traits.rs b/crates/hir_ty/src/traits.rs index 1c3abb18f..14cd3a2b4 100644 --- a/crates/hir_ty/src/traits.rs +++ b/crates/hir_ty/src/traits.rs @@ -170,11 +170,11 @@ fn solve( let mut solve = || { if is_chalk_print() { let logging_db = LoggingRustIrDatabase::new(context); - let solution = solver.solve_limited(&logging_db, goal, should_continue); + let solution = solver.solve_limited(&logging_db, goal, &should_continue); log::debug!("chalk program:\n{}", logging_db); solution } else { - solver.solve_limited(&context, goal, should_continue) + solver.solve_limited(&context, goal, &should_continue) } }; -- cgit v1.2.3