diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-29 20:18:57 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-29 20:18:57 +0100 |
| commit | 8c3cd8f121d4306732423d1c8804d54e36bd706a (patch) | |
| tree | fa887bc9a274813869d41f36cb5e48a4c1bd3ef9 /crates/ra_hir/src/ty/traits.rs | |
| parent | 7e9c5e32e5f7819b340fc2adb63b2ffeeb2627cf (diff) | |
| parent | 9304cb026309d68f2b5a6326e74f836bc79f88f5 (diff) | |
Merge #1346
1346: bump timeout for CI 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, 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); |