aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2019-05-20 17:31:12 +0100
committerFlorian Diebold <[email protected]>2019-05-21 19:40:29 +0100
commitf613c48d2e2afa1761623d186d11c1719f9ef3f7 (patch)
tree1ff623537505695163ea329d9eae35325eb2ef21 /crates/ra_hir/src
parented943adb29e6eddb482377a21908a8ed66c6cc21 (diff)
Use fuel branch for Chalk
This makes sure we don't take too long in trait solving.
Diffstat (limited to 'crates/ra_hir/src')
-rw-r--r--crates/ra_hir/src/ty/traits.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs
index f39749cab..e6c78c0d4 100644
--- a/crates/ra_hir/src/ty/traits.rs
+++ b/crates/ra_hir/src/ty/traits.rs
@@ -61,7 +61,7 @@ fn solve(
61 let context = ChalkContext { db, krate }; 61 let context = ChalkContext { db, krate };
62 let solver = db.solver(krate); 62 let solver = db.solver(krate);
63 debug!("solve goal: {:?}", goal); 63 debug!("solve goal: {:?}", goal);
64 let solution = solver.lock().unwrap().solve(&context, goal); 64 let solution = solver.lock().unwrap().solve_with_fuel(&context, goal, Some(1000));
65 debug!("solve({:?}) => {:?}", goal, solution); 65 debug!("solve({:?}) => {:?}", goal, solution);
66 solution 66 solution
67} 67}