diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-06 12:34:34 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-06 12:34:34 +0100 |
commit | 002e72a28de3df818992442ad49bb60d3d0b1d0b (patch) | |
tree | 266da1eafcd60457fa99cc422a415e27992c08d7 /crates/hir_ty/src/walk.rs | |
parent | 047b5313013383fc4fafaef6d6d8d6a64549e3cb (diff) | |
parent | 9fbba7bc45ec6bea9468931d9d9fdd0141826f0a (diff) |
Merge #8366
8366: Add chalk_ir::Const to TyKind::Array r=flodiebold a=Veykril
CC #8313
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/walk.rs')
-rw-r--r-- | crates/hir_ty/src/walk.rs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/crates/hir_ty/src/walk.rs b/crates/hir_ty/src/walk.rs index 4cc4e24fd..41ebf6137 100644 --- a/crates/hir_ty/src/walk.rs +++ b/crates/hir_ty/src/walk.rs | |||
@@ -153,7 +153,10 @@ impl TypeWalk for Ty { | |||
153 | p.walk(f); | 153 | p.walk(f); |
154 | } | 154 | } |
155 | } | 155 | } |
156 | TyKind::Slice(ty) | TyKind::Array(ty) | TyKind::Ref(_, _, ty) | TyKind::Raw(_, ty) => { | 156 | TyKind::Slice(ty) |
157 | | TyKind::Array(ty, _) | ||
158 | | TyKind::Ref(_, _, ty) | ||
159 | | TyKind::Raw(_, ty) => { | ||
157 | ty.walk(f); | 160 | ty.walk(f); |
158 | } | 161 | } |
159 | TyKind::Function(fn_pointer) => { | 162 | TyKind::Function(fn_pointer) => { |
@@ -187,7 +190,10 @@ impl TypeWalk for Ty { | |||
187 | TyKind::Alias(AliasTy::Opaque(o_ty)) => { | 190 | TyKind::Alias(AliasTy::Opaque(o_ty)) => { |
188 | o_ty.substitution.walk_mut_binders(f, binders); | 191 | o_ty.substitution.walk_mut_binders(f, binders); |
189 | } | 192 | } |
190 | TyKind::Slice(ty) | TyKind::Array(ty) | TyKind::Ref(_, _, ty) | TyKind::Raw(_, ty) => { | 193 | TyKind::Slice(ty) |
194 | | TyKind::Array(ty, _) | ||
195 | | TyKind::Ref(_, _, ty) | ||
196 | | TyKind::Raw(_, ty) => { | ||
191 | ty.walk_mut_binders(f, binders); | 197 | ty.walk_mut_binders(f, binders); |
192 | } | 198 | } |
193 | TyKind::Function(fn_pointer) => { | 199 | TyKind::Function(fn_pointer) => { |