Skip to content

Commit e4a663c

Browse files
authored
Rollup merge of rust-lang#79963 - LeSeulArtichaut:debruijn-typo, r=Dylan-DPC
Fix typo in `DebruijnIndex` documentation Suggested in rust-lang#79169 (comment). r? ``@lqd``
2 parents 54119d4 + 6a1f92b commit e4a663c

File tree

1 file changed

+1
-1
lines changed
  • compiler/rustc_type_ir/src

1 file changed

+1
-1
lines changed

compiler/rustc_type_ir/src/lib.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@ rustc_index::newtype_index! {
119119
/// Bruijn index of 0, meaning "the innermost binder" (in this case, a
120120
/// fn). The region `'a` that appears in the second argument type (`&'a
121121
/// isize`) would then be assigned a De Bruijn index of 1, meaning "the
122-
/// second-innermost binder". (These indices are written on the arrays
122+
/// second-innermost binder". (These indices are written on the arrows
123123
/// in the diagram).
124124
///
125125
/// What is interesting is that De Bruijn index attached to a particular

0 commit comments

Comments
 (0)