aboutsummaryrefslogtreecommitdiff
path: root/crates/hir
diff options
context:
space:
mode:
authoroxalica <[email protected]>2020-09-11 18:03:28 +0100
committeroxalica <[email protected]>2020-09-11 18:08:50 +0100
commit529c369c9bc15a73e7a03260eca84ccef99ac281 (patch)
treea7b7d23711cdc583467c1ab5c5b8e608e8530861 /crates/hir
parentcc4e287bb519565e1d6d79d6e9bba19adbe9cc77 (diff)
Fix type walking about type of async block
Diffstat (limited to 'crates/hir')
-rw-r--r--crates/hir/src/code_model.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/crates/hir/src/code_model.rs b/crates/hir/src/code_model.rs
index 613b35afd..7a9747fc7 100644
--- a/crates/hir/src/code_model.rs
+++ b/crates/hir/src/code_model.rs
@@ -1602,6 +1602,11 @@ impl Type {
1602 cb(type_.derived(ty.clone())); 1602 cb(type_.derived(ty.clone()));
1603 } 1603 }
1604 } 1604 }
1605 TypeCtor::OpaqueType(..) => {
1606 if let Some(bounds) = ty.impl_trait_bounds(db) {
1607 walk_bounds(db, &type_.derived(ty.clone()), &bounds, cb);
1608 }
1609 }
1605 _ => (), 1610 _ => (),
1606 } 1611 }
1607 1612