From df4bfd9e9759a9f9d5b1407db23d5881a13612ca Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Tue, 25 Jul 2023 13:40:04 +0000
Subject: [PATCH] Try explaining where `Inner` is in the signature better

---
 compiler/rustc_hir_analysis/src/check/check.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/rustc_hir_analysis/src/check/check.rs b/compiler/rustc_hir_analysis/src/check/check.rs
index 96eb83f37682f..58dd0c1b8abaa 100644
--- a/compiler/rustc_hir_analysis/src/check/check.rs
+++ b/compiler/rustc_hir_analysis/src/check/check.rs
@@ -545,7 +545,7 @@ fn sanity_check_found_hidden_type<'tcx>(
 /// }
 /// fn func<'a>(x: &'a ()) -> impl Id<Assoc = impl Sized + 'a> { x }
 /// // desugared to
-/// fn func<'a>(x: &'a () -> Outer<'a, Assoc = Inner<'a>> {
+/// fn func<'a>(x: &'a () -> Outer<'a> where <Outer<'a> as Id>::Assoc = Inner<'a> {
 ///     // Note that in contrast to other nested items, RPIT type aliases can
 ///     // access their parents' generics.
 ///