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

Update src/borrow_check/region_inference/placeholders_and_universes.md

Browse source 
Co-Authored-By: Who? Me?! <mark-i-m@users.noreply.github.com>
This commit is contained in:
Niko Matsakis 2019-06-24 14:37:22 -04:00 • committed by Who? Me?!
parent 2ea7e83d4d
commit 2e1e8c8945
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/doc/rustc-dev-guide/src/borrow_check/region_inference/placeholders_and_universes.md
View file

@ -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: