user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

words

Browse source
This commit is contained in:
Bastian Kauschke 2020-06-04 14:34:11 +02:00 • committed by Who? Me?!
parent be16b8c9ef
commit 1dce1d11c0
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/doc/rustc-dev-guide/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
true if `'!1: 'static`. That is – if "some unknown region `!1`" lives
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).
true if `'!1: 'static`. That is – if "some unknown region `!1`" 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?