diff options
Diffstat (limited to 'crates/ra_hir/src/ty/traits.rs')
-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 c707110ad..a1ed0c028 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, Mutex}; |
3 | 3 | ||
4 | use log::debug; | ||
4 | use chalk_ir::cast::Cast; | 5 | use chalk_ir::cast::Cast; |
5 | 6 | ||
6 | use crate::{Crate, Trait, db::HirDatabase, ImplBlock}; | 7 | use crate::{Crate, Trait, db::HirDatabase, ImplBlock}; |
@@ -52,7 +53,7 @@ fn solve( | |||
52 | let context = ChalkContext { db, krate }; | 53 | let context = ChalkContext { db, krate }; |
53 | let solver = db.solver(krate); | 54 | let solver = db.solver(krate); |
54 | let solution = solver.lock().unwrap().solve(&context, goal); | 55 | let solution = solver.lock().unwrap().solve(&context, goal); |
55 | eprintln!("solve({:?}) => {:?}", goal, solution); | 56 | debug!("solve({:?}) => {:?}", goal, solution); |
56 | solution | 57 | solution |
57 | } | 58 | } |
58 | 59 | ||
@@ -73,7 +74,7 @@ pub(crate) fn implements( | |||
73 | trait_ref: Canonical<TraitRef>, | 74 | trait_ref: Canonical<TraitRef>, |
74 | ) -> Option<Solution> { | 75 | ) -> Option<Solution> { |
75 | let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast(); | 76 | let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast(); |
76 | eprintln!("goal: {:?}", goal); | 77 | debug!("goal: {:?}", goal); |
77 | let env = chalk_ir::Environment::new(); | 78 | let env = chalk_ir::Environment::new(); |
78 | let in_env = chalk_ir::InEnvironment::new(&env, goal); | 79 | let in_env = chalk_ir::InEnvironment::new(&env, goal); |
79 | let parameter = chalk_ir::ParameterKind::Ty(chalk_ir::UniverseIndex::ROOT); | 80 | let parameter = chalk_ir::ParameterKind::Ty(chalk_ir::UniverseIndex::ROOT); |