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

Update src/borrow_check/region_inference.md

Browse source 
Co-Authored-By: csmoe <csmoe@msn.com>
This commit is contained in:
Who? Me?! 2018-10-25 11:33:30 +08:00
parent 4f32b55424
commit 8acc12f57c
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.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
bound in the supertype and replace them with
bound in the supertype and replacing them with
[universally quantified](../appendix/background.html#quantified)
representatives, written like `!1`. We call these regions "placeholder
regions" – they represent, basically, "some unknown region".