Skip to content

Commit

Permalink
Try explaining where Inner is in the signature better
Browse files Browse the repository at this point in the history
  • Loading branch information
oli-obk committed Jul 25, 2023
1 parent 30f7878 commit df4bfd9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion compiler/rustc_hir_analysis/src/check/check.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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.
///
Expand Down

0 comments on commit df4bfd9

Please sign in to comment.