aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/traits.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty/traits.rs')
-rw-r--r--crates/ra_hir/src/ty/traits.rs5
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.
2use std::sync::{Arc, Mutex}; 2use std::sync::{Arc, Mutex};
3 3
4use log::debug;
4use chalk_ir::cast::Cast; 5use chalk_ir::cast::Cast;
5 6
6use crate::{Crate, Trait, db::HirDatabase, ImplBlock}; 7use 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);