Skip to content

Commit

Permalink
Rollup merge of #79963 - LeSeulArtichaut:debruijn-typo, r=Dylan-DPC
Browse files Browse the repository at this point in the history
Fix typo in `DebruijnIndex` documentation

Suggested in #79169 (comment).
r? ``@lqd``
  • Loading branch information
JohnTitor committed Dec 13, 2020
2 parents 54119d4 + 6a1f92b commit e4a663c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion compiler/rustc_type_ir/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -119,7 +119,7 @@ rustc_index::newtype_index! {
/// Bruijn index of 0, meaning "the innermost binder" (in this case, a
/// fn). The region `'a` that appears in the second argument type (`&'a
/// isize`) would then be assigned a De Bruijn index of 1, meaning "the
/// second-innermost binder". (These indices are written on the arrays
/// second-innermost binder". (These indices are written on the arrows
/// in the diagram).
///
/// What is interesting is that De Bruijn index attached to a particular
Expand Down

0 comments on commit e4a663c

Please sign in to comment.