diff options
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 791f342a1..128ec166a 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
@@ -193,10 +193,11 @@ impl ToChalk for Ty { | |||
193 | fn ref_to_chalk( | 193 | fn ref_to_chalk( |
194 | db: &dyn HirDatabase, | 194 | db: &dyn HirDatabase, |
195 | mutability: chalk_ir::Mutability, | 195 | mutability: chalk_ir::Mutability, |
196 | lifetime: Lifetime, | 196 | _lifetime: Lifetime, |
197 | ty: Ty, | 197 | ty: Ty, |
198 | ) -> chalk_ir::Ty<Interner> { | 198 | ) -> chalk_ir::Ty<Interner> { |
199 | let arg = ty.to_chalk(db); | 199 | let arg = ty.to_chalk(db); |
200 | let lifetime = LifetimeData::Static.intern(&Interner); | ||
200 | chalk_ir::TyKind::Ref(mutability, lifetime, arg).intern(&Interner) | 201 | chalk_ir::TyKind::Ref(mutability, lifetime, arg).intern(&Interner) |
201 | } | 202 | } |
202 | 203 | ||