Skip to content

Commit

Permalink
Rollup merge of rust-lang#79963 - LeSeulArtichaut:debruijn-typo, r=Dy…
Browse files Browse the repository at this point in the history
…lan-DPC

Fix typo in `DebruijnIndex` documentation

Suggested in rust-lang#79169 (comment).
r? `@lqd`
  • Loading branch information
Dylan-DPC committed Dec 12, 2020
2 parents 34c028d + 6a1f92b commit e3af345
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 e3af345

Please sign in to comment.