diff options
| author | Aleksey Kladov <[email protected]> | 2019-05-29 20:13:03 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-05-29 20:13:03 +0100 |
| commit | 6bcc1b8b9e9ff90a5c5442dce230dba5995ca5b5 (patch) | |
| tree | da33b8ea0737c561ec33a00e900cfd23bd0a0199 /crates/ra_hir/src/ty/traits.rs | |
| parent | a9373c4220a677e4ba38185d14fce67b56fdee44 (diff) | |
add cacellation checks to expensive queries
Diffstat (limited to 'crates/ra_hir/src/ty/traits.rs')
| -rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index e6c78c0d4..fc90f56d5 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs | |||
| @@ -82,6 +82,7 @@ pub(crate) fn implements_query( | |||
| 82 | krate: Crate, | 82 | krate: Crate, |
| 83 | trait_ref: Canonical<TraitRef>, | 83 | trait_ref: Canonical<TraitRef>, |
| 84 | ) -> Option<Solution> { | 84 | ) -> Option<Solution> { |
| 85 | db.check_canceled(); | ||
| 85 | let _p = profile("implements_query"); | 86 | let _p = profile("implements_query"); |
| 86 | let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast(); | 87 | let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast(); |
| 87 | debug!("goal: {:?}", goal); | 88 | debug!("goal: {:?}", goal); |