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 | |
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')
-rw-r--r-- | crates/hir/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs index 813cd1295..dfc1d8a0c 100644 --- a/crates/hir/src/lib.rs +++ b/crates/hir/src/lib.rs | |||
@@ -1888,7 +1888,7 @@ impl Type { | |||
1888 | substs.iter(&Interner).filter_map(|a| a.ty(&Interner)).any(go) | 1888 | substs.iter(&Interner).filter_map(|a| a.ty(&Interner)).any(go) |
1889 | } | 1889 | } |
1890 | 1890 | ||
1891 | TyKind::Array(ty) | 1891 | TyKind::Array(ty, _) |
1892 | | TyKind::Slice(ty) | 1892 | | TyKind::Slice(ty) |
1893 | | TyKind::Raw(_, ty) | 1893 | | TyKind::Raw(_, ty) |
1894 | | TyKind::Ref(_, _, ty) => go(ty), | 1894 | | TyKind::Ref(_, _, ty) => go(ty), |
@@ -2151,7 +2151,7 @@ impl Type { | |||
2151 | 2151 | ||
2152 | TyKind::Ref(_, _, ty) | 2152 | TyKind::Ref(_, _, ty) |
2153 | | TyKind::Raw(_, ty) | 2153 | | TyKind::Raw(_, ty) |
2154 | | TyKind::Array(ty) | 2154 | | TyKind::Array(ty, _) |
2155 | | TyKind::Slice(ty) => { | 2155 | | TyKind::Slice(ty) => { |
2156 | walk_type(db, &type_.derived(ty.clone()), cb); | 2156 | walk_type(db, &type_.derived(ty.clone()), cb); |
2157 | } | 2157 | } |