diff options
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 09e5a82b8..c17c19638 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
@@ -55,7 +55,7 @@ impl ToChalk for Ty { | |||
55 | chalk_ir::TyKind::OpaqueType(id, substitution).intern(&Interner) | 55 | chalk_ir::TyKind::OpaqueType(id, substitution).intern(&Interner) |
56 | } | 56 | } |
57 | 57 | ||
58 | Ty::ForeignType(type_alias, _) => { | 58 | Ty::ForeignType(type_alias) => { |
59 | let foreign_type = TypeAliasAsForeignType(type_alias); | 59 | let foreign_type = TypeAliasAsForeignType(type_alias); |
60 | let foreign_type_id = foreign_type.to_chalk(db); | 60 | let foreign_type_id = foreign_type.to_chalk(db); |
61 | chalk_ir::TyKind::Foreign(foreign_type_id).intern(&Interner) | 61 | chalk_ir::TyKind::Foreign(foreign_type_id).intern(&Interner) |
@@ -221,10 +221,9 @@ impl ToChalk for Ty { | |||
221 | Ty::Closure { def, expr, substs: from_chalk(db, subst) } | 221 | Ty::Closure { def, expr, substs: from_chalk(db, subst) } |
222 | } | 222 | } |
223 | 223 | ||
224 | chalk_ir::TyKind::Foreign(foreign_def_id) => Ty::ForeignType( | 224 | chalk_ir::TyKind::Foreign(foreign_def_id) => { |
225 | from_chalk::<TypeAliasAsForeignType, _>(db, foreign_def_id).0, | 225 | Ty::ForeignType(from_chalk::<TypeAliasAsForeignType, _>(db, foreign_def_id).0) |
226 | Substs::empty(), | 226 | } |
227 | ), | ||
228 | chalk_ir::TyKind::Generator(_, _) => unimplemented!(), // FIXME | 227 | chalk_ir::TyKind::Generator(_, _) => unimplemented!(), // FIXME |
229 | chalk_ir::TyKind::GeneratorWitness(_, _) => unimplemented!(), // FIXME | 228 | chalk_ir::TyKind::GeneratorWitness(_, _) => unimplemented!(), // FIXME |
230 | } | 229 | } |