aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
diff options
context:
space:
mode:
authorLukas Wirth <[email protected]>2021-02-28 19:39:43 +0000
committerLukas Wirth <[email protected]>2021-02-28 19:39:43 +0000
commit0e995adcf690778739fe94fb94ae317d42b4e51b (patch)
tree5f15802e2bac7e1752d3c3d493ea39bc97ccaec9 /crates/hir_ty/src/traits/chalk
parent2fc137b70f9d455676cc99a1a5c7e6e10c3e7cc2 (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.rs4
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)))