diff options
| author | LeSeulArtichaut <leseulartichaut@gmail.com> | 2020-12-12 16:13:06 +0100 |
|---|---|---|
| committer | LeSeulArtichaut <leseulartichaut@gmail.com> | 2020-12-12 16:13:06 +0100 |
| commit | 6a1f92b896d0afed3b26ac67871e9dc4e892dbfd (patch) | |
| tree | db66969918e856803e4edd1948b503d5f924f2e1 /compiler | |
| parent | 3f2088aa603d2cd3f43c20795872de9cd6ec7735 (diff) | |
| download | rust-6a1f92b896d0afed3b26ac67871e9dc4e892dbfd.tar.gz rust-6a1f92b896d0afed3b26ac67871e9dc4e892dbfd.zip | |
Fix typo in `DebruijnIndex` documentation
Co-authored-by: Rémy Rakic <lqd@users.noreply.github.com>
Diffstat (limited to 'compiler')
| -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 |