diff options
| author | bors <bors@rust-lang.org> | 2022-09-28 14:42:55 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-09-28 14:42:55 +0000 |
| commit | 307dd938d7937c93dc7a880e81a2383b82f30ad0 (patch) | |
| tree | 33506137581a0a1e18c243287e8a168a3aa220a6 /compiler/rustc_errors/src | |
| parent | 09ae7846a272a500ff7145255f0de5556c0b8949 (diff) | |
| parent | dd69ce3b27332c771f61f5cd7cc983424183aaa4 (diff) | |
| download | rust-307dd938d7937c93dc7a880e81a2383b82f30ad0.tar.gz rust-307dd938d7937c93dc7a880e81a2383b82f30ad0.zip | |
Auto merge of #101454 - cjgillot:concat-binders, r=estebank
Do not overwrite lifetime binders for another HirId. This PR makes higher-ranked bounds in where clauses a bit more principled. We used to conflate `for<'a> T: Trait` with `(for<'a> T): Trait`. This PR separates both binders. This caused issued with fn types, which have their own binder, causing us to overwrite the predicates's binders with `fn`'s binders, ICEing. Fixes https://github.com/rust-lang/rust/issues/98594
Diffstat (limited to 'compiler/rustc_errors/src')
0 files changed, 0 insertions, 0 deletions