diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:37:12 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | 2ea7e83d4d0fdf4ea10d5626577f99de82a483ef (patch) | |
| tree | 2dcde6132e4f2d5dc3caa6f705ac3544f9673871 /src/doc/rustc-dev-guide | |
| parent | 6bcafb7bfac5d4f5f23e254d77fe01b576a05f26 (diff) | |
| download | rust-2ea7e83d4d0fdf4ea10d5626577f99de82a483ef.tar.gz rust-2ea7e83d4d0fdf4ea10d5626577f99de82a483ef.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 0d4068e0002..cc262ad3eb3 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 @@ -66,7 +66,7 @@ outlives `'static`. Now, this *might* be true – after all, `'!1` could be `'static` – but we don't *know* that it's true. So this should yield up an error (eventually). -## What is a universe +## What is a universe? In the previous section, we introduced the idea of a placeholder region, and we denoted it `!1`. We call this number `1` the **universe |