diff options
author | Florian Diebold <[email protected]> | 2019-07-14 21:11:04 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-07-15 07:49:55 +0100 |
commit | c8284d8424691dc348af8708abfc2172b7dd5dc5 (patch) | |
tree | 81f3523f2d78ac65697489a3ca43c03a768d05bc /crates/ra_hir/src | |
parent | dcb0c02e3afa8e163379b56a943f04e6e4879dd6 (diff) |
Switch to Chalk master, without fuel
Diffstat (limited to 'crates/ra_hir/src')
-rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 2 |
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 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( | |||
62 | let context = ChalkContext { db, krate }; | 62 | let context = ChalkContext { db, krate }; |
63 | let solver = db.trait_solver(krate); | 63 | let solver = db.trait_solver(krate); |
64 | debug!("solve goal: {:?}", goal); | 64 | debug!("solve goal: {:?}", goal); |
65 | let solution = solver.lock().solve_with_fuel(&context, goal, Some(1000)); | 65 | let solution = solver.lock().solve(&context, goal); |
66 | debug!("solve({:?}) => {:?}", goal, solution); | 66 | debug!("solve({:?}) => {:?}", goal, solution); |
67 | solution | 67 | solution |
68 | } | 68 | } |