diff options
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/infer.rs | 1 | ||||
-rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/crates/ra_hir/src/ty/infer.rs b/crates/ra_hir/src/ty/infer.rs index fef0f1d24..e150d7fd8 100644 --- a/crates/ra_hir/src/ty/infer.rs +++ b/crates/ra_hir/src/ty/infer.rs | |||
@@ -54,7 +54,6 @@ mod unify; | |||
54 | /// The entry point of type inference. | 54 | /// The entry point of type inference. |
55 | pub fn infer_query(db: &impl HirDatabase, def: DefWithBody) -> Arc<InferenceResult> { | 55 | pub fn infer_query(db: &impl HirDatabase, def: DefWithBody) -> Arc<InferenceResult> { |
56 | let _p = profile("infer_query"); | 56 | let _p = profile("infer_query"); |
57 | db.check_canceled(); | ||
58 | let body = def.body(db); | 57 | let body = def.body(db); |
59 | let resolver = def.resolver(db); | 58 | let resolver = def.resolver(db); |
60 | let mut ctx = InferenceContext::new(db, body, resolver); | 59 | let mut ctx = InferenceContext::new(db, body, resolver); |
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); |