diff options
author | Florian Diebold <[email protected]> | 2021-03-13 16:55:50 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-03-13 16:56:48 +0000 |
commit | 9719ce9fc731a400c9744ba1a6569e978c1a97e7 (patch) | |
tree | a9c674c83723e2ed145793f72450c873da62a6fc /crates/hir_ty/src/traits/chalk/mapping.rs | |
parent | 19664e276aba21a42cad5351a2c91995d1ce5d52 (diff) |
Use chalk_ir::FnDefId
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 67ac95a0e..23ef07d77 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
@@ -66,8 +66,7 @@ impl ToChalk for Ty { | |||
66 | chalk_ir::TyKind::Slice(substs[0].clone().to_chalk(db)).intern(&Interner) | 66 | chalk_ir::TyKind::Slice(substs[0].clone().to_chalk(db)).intern(&Interner) |
67 | } | 67 | } |
68 | TyKind::Str => chalk_ir::TyKind::Str.intern(&Interner), | 68 | TyKind::Str => chalk_ir::TyKind::Str.intern(&Interner), |
69 | TyKind::FnDef(callable_def, substs) => { | 69 | TyKind::FnDef(id, substs) => { |
70 | let id = callable_def.to_chalk(db); | ||
71 | let substitution = substs.to_chalk(db); | 70 | let substitution = substs.to_chalk(db); |
72 | chalk_ir::TyKind::FnDef(id, substitution).intern(&Interner) | 71 | chalk_ir::TyKind::FnDef(id, substitution).intern(&Interner) |
73 | } | 72 | } |
@@ -201,7 +200,7 @@ impl ToChalk for Ty { | |||
201 | chalk_ir::TyKind::Never => TyKind::Never, | 200 | chalk_ir::TyKind::Never => TyKind::Never, |
202 | 201 | ||
203 | chalk_ir::TyKind::FnDef(fn_def_id, subst) => { | 202 | chalk_ir::TyKind::FnDef(fn_def_id, subst) => { |
204 | TyKind::FnDef(from_chalk(db, fn_def_id), from_chalk(db, subst)) | 203 | TyKind::FnDef(fn_def_id, from_chalk(db, subst)) |
205 | } | 204 | } |
206 | 205 | ||
207 | chalk_ir::TyKind::Closure(id, subst) => { | 206 | chalk_ir::TyKind::Closure(id, subst) => { |