diff options
author | Lukas Wirth <[email protected]> | 2021-04-05 22:01:34 +0100 |
---|---|---|
committer | Lukas Wirth <[email protected]> | 2021-04-06 09:45:34 +0100 |
commit | b98c681cb7ede9fd6a8683b1edd83a5b18502178 (patch) | |
tree | c1be623b2c96b8f30824e250f260a49c706e122e /crates/hir_ty/src/traits | |
parent | 9da191c7e07abec9d9f056fd94ee151aef7417a7 (diff) |
Always use Static lifetimes in chalk mapping
Diffstat (limited to 'crates/hir_ty/src/traits')
-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 | ||