From c8284d8424691dc348af8708abfc2172b7dd5dc5 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Sun, 14 Jul 2019 22:11:04 +0200 Subject: Switch to Chalk master, without fuel --- crates/ra_hir/src/ty/traits.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'crates/ra_hir/src/ty') diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index 7dccd93be..0769e6e17 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs @@ -62,7 +62,7 @@ fn solve( let context = ChalkContext { db, krate }; let solver = db.trait_solver(krate); debug!("solve goal: {:?}", goal); - let solution = solver.lock().solve_with_fuel(&context, goal, Some(1000)); + let solution = solver.lock().solve(&context, goal); debug!("solve({:?}) => {:?}", goal, solution); solution } -- cgit v1.2.3