diff options
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index fc90f56d5..db78f25ca 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs | |||
@@ -1,6 +1,7 @@ | |||
1 | //! Trait solving using Chalk. | 1 | //! Trait solving using Chalk. |
2 | use std::sync::{Arc, Mutex}; | 2 | use std::sync::Arc; |
3 | 3 | ||
4 | use parking_lot::Mutex; | ||
4 | use rustc_hash::FxHashSet; | 5 | use rustc_hash::FxHashSet; |
5 | use log::debug; | 6 | use log::debug; |
6 | use chalk_ir::cast::Cast; | 7 | use chalk_ir::cast::Cast; |
@@ -61,7 +62,7 @@ fn solve( | |||
61 | let context = ChalkContext { db, krate }; | 62 | let context = ChalkContext { db, krate }; |
62 | let solver = db.solver(krate); | 63 | let solver = db.solver(krate); |
63 | debug!("solve goal: {:?}", goal); | 64 | debug!("solve goal: {:?}", goal); |
64 | let solution = solver.lock().unwrap().solve_with_fuel(&context, goal, Some(1000)); | 65 | let solution = solver.lock().solve_with_fuel(&context, goal, Some(1000)); |
65 | debug!("solve({:?}) => {:?}", goal, solution); | 66 | debug!("solve({:?}) => {:?}", goal, solution); |
66 | solution | 67 | solution |
67 | } | 68 | } |