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/traits/hrtb.md 

Co-Authored-By: csmoe <csmoe@msn.com>
This commit is contained in:
Who? Me?! 2018-10-25 11:33:38 +08:00
parent cb7e82cabd
commit c9229c1c84
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/traits/hrtb.md
View File

@ -36,7 +36,7 @@ to the subtyping for higher-ranked types (which is described [here][hrsubtype]
and also in a [paper by SPJ]. If you wish to understand higher-ranked
subtyping, we recommend you read the paper). There are a few parts:
1. replace bound regions in the obligation with placeholders.
1. Replace bound regions in the obligation with placeholders.
2. Match the impl against the [placeholder] obligation.
3. Check for _placeholder leaks_.