diff options
| author | Edwin Cheng <[email protected]> | 2020-04-06 14:01:58 +0100 |
|---|---|---|
| committer | Edwin Cheng <[email protected]> | 2020-04-06 14:01:58 +0100 |
| commit | a569a19ef44025e9b5c034eb665279e7729165c4 (patch) | |
| tree | edc694960ee0c69be9af0303693769245ca05247 | |
| parent | ec3fb1cdb4f1808a11fb6057550ed721c2aa36a9 (diff) | |
Use log info in trait_solve_query
| -rw-r--r-- | crates/ra_hir_ty/src/traits.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/traits.rs b/crates/ra_hir_ty/src/traits.rs index 07854a062..5a1e12ce9 100644 --- a/crates/ra_hir_ty/src/traits.rs +++ b/crates/ra_hir_ty/src/traits.rs | |||
| @@ -148,7 +148,7 @@ pub(crate) fn trait_solve_query( | |||
| 148 | Obligation::Trait(it) => db.trait_data(it.trait_).name.to_string(), | 148 | Obligation::Trait(it) => db.trait_data(it.trait_).name.to_string(), |
| 149 | Obligation::Projection(_) => "projection".to_string(), | 149 | Obligation::Projection(_) => "projection".to_string(), |
| 150 | }); | 150 | }); |
| 151 | eprintln!("trait_solve_query({})", goal.value.value.display(db)); | 151 | log::info!("trait_solve_query({})", goal.value.value.display(db)); |
| 152 | 152 | ||
| 153 | if let Obligation::Projection(pred) = &goal.value.value { | 153 | if let Obligation::Projection(pred) = &goal.value.value { |
| 154 | if let Ty::Bound(_) = &pred.projection_ty.parameters[0] { | 154 | if let Ty::Bound(_) = &pred.projection_ty.parameters[0] { |