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.md 

Co-Authored-By: csmoe <csmoe@msn.com>
This commit is contained in:
Who? Me?! 2018-10-25 11:33:30 +08:00
parent 68d30b64cf
commit 52033755c3
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.md
View File

@ -129,7 +129,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 replace 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, written like `!1`. We call these regions "placeholder
regions" – they represent, basically, "some unknown region". regions" – they represent, basically, "some unknown region".