diff options
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 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 | } |