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 /.gitattributes | |
| 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 '.gitattributes')
0 files changed, 0 insertions, 0 deletions