mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix broken link for `BoundRegion` (#998)

This commit is contained in:
Yuki Okushi 2020-12-31 09:13:49 +09:00 committed by GitHub
parent f2e7d46f28
commit 148742b6ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/early-late-bound.md
View File

@ -89,7 +89,7 @@ Moreover, a reference to a late-bound lifetime is written `^0.a`:
- The `0` is the index; it identifies that this lifetime is bound in the - The `0` is the index; it identifies that this lifetime is bound in the
innermost binder (the `for`). innermost binder (the `for`).
- The `a` is the "name"; late-bound lifetimes in rustc are identified by a - The `a` is the "name"; late-bound lifetimes in rustc are identified by a
"name" -- the [`BoundRegion`] struct. This struct can contain a "name" -- the [`BoundRegionKind`] enum. This enum can contain a
[`DefId`][defid] or it might have various "anonymous" numbered names. The [`DefId`][defid] or it might have various "anonymous" numbered names. The
latter arise from types like `fn(&u32, &u32)`, which are equivalent to latter arise from types like `fn(&u32, &u32)`, which are equivalent to
something like `for<'a, 'b> fn(&'a u32, &'b u32)`, but the names of those something like `for<'a, 'b> fn(&'a u32, &'b u32)`, but the names of those
@ -103,5 +103,5 @@ anonymous regions like in `fn(&u32)`, we just create a fresh index and don't hav
to update the binder. to update the binder.
[`Binder`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.Binder.html [`Binder`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.Binder.html
[`BoundRegion`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/enum.BoundRegion.html [`BoundRegionKind`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/enum.BoundRegionKind.html
[defid]: ./hir.html#identifiers-in-the-hir [defid]: ./hir.html#identifiers-in-the-hir