diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-12 16:49:39 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-12 16:49:39 +0100 |
| commit | a3a03b65dca9dc174bd58cd3d877ede18fc58637 (patch) | |
| tree | 464e2eaab5133f137e9d5c36fb34f6f6876c0432 /crates/ra_hir/src/ty/traits.rs | |
| parent | c452d2842c2ac7156178a05fe477e8832253a2c4 (diff) | |
| parent | b8cae2cf8f7d2a0162d614e25ef95d7e4a5d3677 (diff) | |
Merge #1398
1398: check for cancellation when executing queries r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/traits.rs')
| -rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index db78f25ca..fda7f9c04 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs | |||
| @@ -83,7 +83,6 @@ pub(crate) fn implements_query( | |||
| 83 | krate: Crate, | 83 | krate: Crate, |
| 84 | trait_ref: Canonical<TraitRef>, | 84 | trait_ref: Canonical<TraitRef>, |
| 85 | ) -> Option<Solution> { | 85 | ) -> Option<Solution> { |
| 86 | db.check_canceled(); | ||
| 87 | let _p = profile("implements_query"); | 86 | let _p = profile("implements_query"); |
| 88 | 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(); |
| 89 | debug!("goal: {:?}", goal); | 88 | debug!("goal: {:?}", goal); |