rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

profile implements query

Browse Source
This commit is contained in:
Aleksey Kladov
2019-05-21 16:04:17 +03:00
parent 9fe8e56177
commit 0f3e85002b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/ra_hir/src/ty/traits.rs
View File

@@ -4,6 +4,7 @@ use std::sync::{Arc, Mutex};
use rustc_hash::FxHashSet; use rustc_hash::FxHashSet;
use log::debug; use log::debug;
use chalk_ir::cast::Cast; use chalk_ir::cast::Cast;
use ra_prof::profile;
use crate::{Crate, Trait, db::HirDatabase, ImplBlock}; use crate::{Crate, Trait, db::HirDatabase, ImplBlock};
use super::{TraitRef, Ty, Canonical}; use super::{TraitRef, Ty, Canonical};
@@ -81,6 +82,7 @@ pub(crate) fn implements_query(
krate: Crate, krate: Crate,
trait_ref: Canonical<TraitRef>, trait_ref: Canonical<TraitRef>,
) -> Option<Solution> { ) -> Option<Solution> {
let _p = profile("implements_query");
let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast(); let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast();
debug!("goal: {:?}", goal); debug!("goal: {:?}", goal);
let env = chalk_ir::Environment::new(); let env = chalk_ir::Environment::new();