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

words

This commit is contained in:
Bastian Kauschke 2020-06-04 14:34:11 +02:00 committed by Who? Me?!
parent 138c73f545
commit c9f49c6581
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/borrow_check/region_inference/placeholders_and_universes.md
View File

@ -61,10 +61,9 @@ we swap the left and right here):
``` ```
According to the basic subtyping rules for a reference, this will be According to the basic subtyping rules for a reference, this will be
true if `'!1: 'static`. That is – if "some unknown region `!1`" lives true if `'!1: 'static`. That is – if "some unknown region `!1`" outlives `'static`.
outlives `'static`. Now, this *might* be true – after all, `'!1` Now, this *might* be true – after all, `'!1` could be `'static` –
could be `'static` – but we don't *know* that it's true. So this but we don't *know* that it's true. So this should yield up an error (eventually).
should yield up an error (eventually).
## What is a universe? ## What is a universe?