aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
diff options
context:
space:
mode:
authorLukas Wirth <[email protected]>2021-04-05 21:12:40 +0100
committerLukas Wirth <[email protected]>2021-04-06 09:45:34 +0100
commit9da191c7e07abec9d9f056fd94ee151aef7417a7 (patch)
tree93b129a12ebb0c6f9890787d4bfda1e7d325bf68 /crates/hir_ty/src/traits/chalk
parent96756f1b1df4729fd00ca96a59971b3997c91934 (diff)
Add Lifetime to DynTy
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r--crates/hir_ty/src/traits/chalk/mapping.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs
index 26f8fdbdc..791f342a1 100644
--- a/crates/hir_ty/src/traits/chalk/mapping.rs
+++ b/crates/hir_ty/src/traits/chalk/mapping.rs
@@ -149,6 +149,7 @@ impl ToChalk for Ty {
149 where_clauses.bounds.binders.clone(), 149 where_clauses.bounds.binders.clone(),
150 crate::QuantifiedWhereClauses::from_iter(&Interner, bounds), 150 crate::QuantifiedWhereClauses::from_iter(&Interner, bounds),
151 ), 151 ),
152 lifetime: LifetimeData::Static.intern(&Interner),
152 }) 153 })
153 } 154 }
154 155