diff --git a/crates/ra_hir/src/db.rs b/crates/ra_hir/src/db.rs index 11cdf9c3492..d84e1598b73 100644 --- a/crates/ra_hir/src/db.rs +++ b/crates/ra_hir/src/db.rs @@ -1,5 +1,6 @@ -use std::sync::{Arc, Mutex}; +use std::sync::Arc; +use parking_lot::Mutex; use ra_syntax::{SyntaxNode, TreeArc, SmolStr, ast}; use ra_db::{SourceDatabase, salsa}; diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index fc90f56d50e..db78f25ca33 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs @@ -1,6 +1,7 @@ //! Trait solving using Chalk. -use std::sync::{Arc, Mutex}; +use std::sync::Arc; +use parking_lot::Mutex; use rustc_hash::FxHashSet; use log::debug; use chalk_ir::cast::Cast; @@ -61,7 +62,7 @@ fn solve( let context = ChalkContext { db, krate }; let solver = db.solver(krate); debug!("solve goal: {:?}", goal); - let solution = solver.lock().unwrap().solve_with_fuel(&context, goal, Some(1000)); + let solution = solver.lock().solve_with_fuel(&context, goal, Some(1000)); debug!("solve({:?}) => {:?}", goal, solution); solution }