diff options
author | Aleksey Kladov <[email protected]> | 2019-06-26 07:12:46 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-08-15 13:27:00 +0100 |
commit | 343463c824f4672f19be08f4786d3eeb2e7dea9f (patch) | |
tree | 9357f9212269ca51e49b6945ec56612b7949c957 /crates/ra_hir/src/ty | |
parent | 9266c18ce61daa53481db67e982acf25fd0452e3 (diff) |
implement durability
Diffstat (limited to 'crates/ra_hir/src/ty')
-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 5406fb4a6..b634f0b79 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs | |||
@@ -38,7 +38,7 @@ impl TraitSolver { | |||
38 | ) -> Option<chalk_solve::Solution> { | 38 | ) -> Option<chalk_solve::Solution> { |
39 | let context = ChalkContext { db, krate: self.krate }; | 39 | let context = ChalkContext { db, krate: self.krate }; |
40 | debug!("solve goal: {:?}", goal); | 40 | debug!("solve goal: {:?}", goal); |
41 | let solution = self.inner.lock().solve_with_fuel(&context, goal, Some(1000)); | 41 | let solution = self.inner.lock().solve(&context, goal); |
42 | debug!("solve({:?}) => {:?}", goal, solution); | 42 | debug!("solve({:?}) => {:?}", goal, solution); |
43 | solution | 43 | solution |
44 | } | 44 | } |