From: bors <bors@rust-lang.org>
Date: Wed, 28 Sep 2022 14:42:55 +0000 (+0000)
Subject: Auto merge of #101454 - cjgillot:concat-binders, r=estebank
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=307dd938d7937c93dc7a880e81a2383b82f30ad0;hp=-c;p=rust.git

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
---

307dd938d7937c93dc7a880e81a2383b82f30ad0