diff options
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 c5654f17b..59aaa5560 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
@@ -43,7 +43,7 @@ impl ToChalk for Ty { | |||
43 | chalk_ir::TyKind::OpaqueType(id, substitution).intern(&Interner) | 43 | chalk_ir::TyKind::OpaqueType(id, substitution).intern(&Interner) |
44 | } | 44 | } |
45 | 45 | ||
46 | TyKind::ForeignType(id) => chalk_ir::TyKind::Foreign(id).intern(&Interner), | 46 | TyKind::Foreign(id) => chalk_ir::TyKind::Foreign(id).intern(&Interner), |
47 | 47 | ||
48 | TyKind::Scalar(scalar) => chalk_ir::TyKind::Scalar(scalar).intern(&Interner), | 48 | TyKind::Scalar(scalar) => chalk_ir::TyKind::Scalar(scalar).intern(&Interner), |
49 | 49 | ||
@@ -181,7 +181,7 @@ impl ToChalk for Ty { | |||
181 | 181 | ||
182 | chalk_ir::TyKind::Closure(id, subst) => TyKind::Closure(id, from_chalk(db, subst)), | 182 | chalk_ir::TyKind::Closure(id, subst) => TyKind::Closure(id, from_chalk(db, subst)), |
183 | 183 | ||
184 | chalk_ir::TyKind::Foreign(foreign_def_id) => TyKind::ForeignType(foreign_def_id), | 184 | chalk_ir::TyKind::Foreign(foreign_def_id) => TyKind::Foreign(foreign_def_id), |
185 | chalk_ir::TyKind::Generator(_, _) => unimplemented!(), // FIXME | 185 | chalk_ir::TyKind::Generator(_, _) => unimplemented!(), // FIXME |
186 | chalk_ir::TyKind::GeneratorWitness(_, _) => unimplemented!(), // FIXME | 186 | chalk_ir::TyKind::GeneratorWitness(_, _) => unimplemented!(), // FIXME |
187 | } | 187 | } |