diff options
author | Lukas Wirth <[email protected]> | 2021-04-05 21:12:40 +0100 |
---|---|---|
committer | Lukas Wirth <[email protected]> | 2021-04-06 09:45:34 +0100 |
commit | 9da191c7e07abec9d9f056fd94ee151aef7417a7 (patch) | |
tree | 93b129a12ebb0c6f9890787d4bfda1e7d325bf68 /crates/hir_ty/src/traits/chalk | |
parent | 96756f1b1df4729fd00ca96a59971b3997c91934 (diff) |
Add Lifetime to DynTy
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 1 |
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 | ||