diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-20 11:47:01 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-20 11:47:01 +0000 |
| commit | eefbae7ed4fca97281bbcd8e5738311be3a31dc6 (patch) | |
| tree | 2d979ad92fc4a6a2000518feb545f72b88e36cf4 /crates/hir | |
| parent | f3125555a8de6fad4529408436800a6b1243a442 (diff) | |
| parent | fa65d6ba855fb2da68840b987bfdec258239a59b (diff) | |
Merge #6921
6921: Higher-ranked trait bounds for where clauses r=flodiebold a=Veykril
There is a slight problem with this which is also noted in a FIXME now but `LifetimeParameters` of these ForLifetime where clauses allocate the lifetimes in the corresponding arena as if they were lifetimes of the item itself and not just the clause they belong to. I wasn't entirely sure what I could do about this but given nothing really uses lifetimes like that currently I figured it might be fine? Open to suggestions for that problem.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/hir')
| -rw-r--r-- | crates/hir/src/code_model.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crates/hir/src/code_model.rs b/crates/hir/src/code_model.rs index d6c7e71ea..73ca6ba9f 100644 --- a/crates/hir/src/code_model.rs +++ b/crates/hir/src/code_model.rs | |||
| @@ -1268,7 +1268,6 @@ impl LifetimeParam { | |||
| 1268 | } | 1268 | } |
| 1269 | } | 1269 | } |
| 1270 | 1270 | ||
| 1271 | // FIXME: rename from `ImplDef` to `Impl` | ||
| 1272 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] | 1271 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] |
| 1273 | pub struct Impl { | 1272 | pub struct Impl { |
| 1274 | pub(crate) id: ImplId, | 1273 | pub(crate) id: ImplId, |