diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-12-13 11:05:41 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-13 11:05:41 +0900 |
| commit | e4a663cbaaf3b04ecf14bfa17e2fa0699ecb5a78 (patch) | |
| tree | dbb48c8249527a2feeb687ba0e856f8be5d2ea7f | |
| parent | 54119d443600d01b70c22d5c472aff60f1fee530 (diff) | |
| parent | 6a1f92b896d0afed3b26ac67871e9dc4e892dbfd (diff) | |
| download | rust-e4a663cbaaf3b04ecf14bfa17e2fa0699ecb5a78.tar.gz rust-e4a663cbaaf3b04ecf14bfa17e2fa0699ecb5a78.zip | |
Rollup merge of #79963 - LeSeulArtichaut:debruijn-typo, r=Dylan-DPC
Fix typo in `DebruijnIndex` documentation Suggested in https://github.com/rust-lang/rust/pull/79169#discussion_r541564114. r? ``@lqd``
| -rw-r--r-- | compiler/rustc_type_ir/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_type_ir/src/lib.rs b/compiler/rustc_type_ir/src/lib.rs index 1c9475f7a66..37abb4496ac 100644 --- a/compiler/rustc_type_ir/src/lib.rs +++ b/compiler/rustc_type_ir/src/lib.rs @@ -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 |