diff options
author | Lukas Wirth <[email protected]> | 2021-02-28 19:39:43 +0000 |
---|---|---|
committer | Lukas Wirth <[email protected]> | 2021-02-28 19:39:43 +0000 |
commit | 0e995adcf690778739fe94fb94ae317d42b4e51b (patch) | |
tree | 5f15802e2bac7e1752d3c3d493ea39bc97ccaec9 /crates/hir_ty/src/traits/chalk | |
parent | 2fc137b70f9d455676cc99a1a5c7e6e10c3e7cc2 (diff) |
Turn Ty::Tuple variant into a tuple-variant
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 297ddeabd..09e5a82b8 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
@@ -63,7 +63,7 @@ impl ToChalk for Ty { | |||
63 | 63 | ||
64 | Ty::Scalar(scalar) => chalk_ir::TyKind::Scalar(scalar).intern(&Interner), | 64 | Ty::Scalar(scalar) => chalk_ir::TyKind::Scalar(scalar).intern(&Interner), |
65 | 65 | ||
66 | Ty::Tuple { cardinality, substs } => { | 66 | Ty::Tuple(cardinality, substs) => { |
67 | let substitution = substs.to_chalk(db); | 67 | let substitution = substs.to_chalk(db); |
68 | chalk_ir::TyKind::Tuple(cardinality.into(), substitution).intern(&Interner) | 68 | chalk_ir::TyKind::Tuple(cardinality.into(), substitution).intern(&Interner) |
69 | } | 69 | } |
@@ -199,7 +199,7 @@ impl ToChalk for Ty { | |||
199 | 199 | ||
200 | chalk_ir::TyKind::Scalar(scalar) => Ty::Scalar(scalar), | 200 | chalk_ir::TyKind::Scalar(scalar) => Ty::Scalar(scalar), |
201 | chalk_ir::TyKind::Tuple(cardinality, subst) => { | 201 | chalk_ir::TyKind::Tuple(cardinality, subst) => { |
202 | Ty::Tuple { cardinality: cardinality as u16, substs: from_chalk(db, subst) } | 202 | Ty::Tuple(cardinality, from_chalk(db, subst)) |
203 | } | 203 | } |
204 | chalk_ir::TyKind::Raw(mutability, ty) => { | 204 | chalk_ir::TyKind::Raw(mutability, ty) => { |
205 | Ty::RawPtr(from_chalk(db, mutability), Substs::single(from_chalk(db, ty))) | 205 | Ty::RawPtr(from_chalk(db, mutability), Substs::single(from_chalk(db, ty))) |