aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--crates/hir_ty/src/traits/chalk/mapping.rs3
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 {
193fn ref_to_chalk( 193fn 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