diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:37:22 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | 2e1e8c8945472ac90eeb8b4187bfdda3fdba2b99 (patch) | |
| tree | 1c906ce1bc76159ba2ce3eea40af5cd5a81617f2 /src/doc/rustc-dev-guide | |
| parent | 2ea7e83d4d0fdf4ea10d5626577f99de82a483ef (diff) | |
| download | rust-2e1e8c8945472ac90eeb8b4187bfdda3fdba2b99.tar.gz rust-2e1e8c8945472ac90eeb8b4187bfdda3fdba2b99.zip | |
Update src/borrow_check/region_inference/placeholders_and_universes.md
Co-Authored-By: Who? Me?! <mark-i-m@users.noreply.github.com>
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/borrow_check/region_inference/placeholders_and_universes.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/borrow_check/region_inference/placeholders_and_universes.md b/src/doc/rustc-dev-guide/src/borrow_check/region_inference/placeholders_and_universes.md index cc262ad3eb3..57fae404bf4 100644 --- a/src/doc/rustc-dev-guide/src/borrow_check/region_inference/placeholders_and_universes.md +++ b/src/doc/rustc-dev-guide/src/borrow_check/region_inference/placeholders_and_universes.md @@ -37,7 +37,7 @@ the type of `foo` the type `bar` expects We handle this sort of subtyping by taking the variables that are bound in the supertype and replacing them with [universally quantified](../appendix/background.html#quantified) -representatives, written like `!1`. We call these regions "placeholder +representatives, denoted like `!1` here. We call these regions "placeholder regions" – they represent, basically, "some unknown region". Once we've done that replacement, we have the following relation: |