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/mapping.rs | |
| parent | 96756f1b1df4729fd00ca96a59971b3997c91934 (diff) | |
Add Lifetime to DynTy
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
| -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 | ||