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

Update src/borrow_check/region_inference/placeholders_and_universes.md 

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 143630c1b7
commit 0b107575bc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
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 We handle this sort of subtyping by taking the variables that are
bound in the supertype and replacing them with bound in the supertype and replacing them with
[universally quantified](../appendix/background.html#quantified) [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". regions" – they represent, basically, "some unknown region".
Once we've done that replacement, we have the following relation: Once we've done that replacement, we have the following relation: