Try explaining where `Inner` is in the signature better

1 files changed, 1 insertions, 1 deletions

diff --git a/compiler/rustc_hir_analysis/src/check/check.rs b/compiler/rustc_hir_analysis/src/check/check.rs
index 96eb83f3768..58dd0c1b8ab 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.
 ///