diff options
| author | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-10-25 11:33:38 +0800 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-10-24 23:22:17 -0500 |
| commit | e82926334931c761894c7300a8b33cf698c96fbf (patch) | |
| tree | 84d739404cf3c9e800088496e6dfe9996423e746 /src/doc/rustc-dev-guide | |
| parent | 730d1a60d61a8209118154d12c51f603dc43a08a (diff) | |
| download | rust-e82926334931c761894c7300a8b33cf698c96fbf.tar.gz rust-e82926334931c761894c7300a8b33cf698c96fbf.zip | |
Update src/traits/hrtb.md
Co-Authored-By: csmoe <csmoe@msn.com>
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/traits/hrtb.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/traits/hrtb.md b/src/doc/rustc-dev-guide/src/traits/hrtb.md index b562758819a..8b3a9f649bd 100644 --- a/src/doc/rustc-dev-guide/src/traits/hrtb.md +++ b/src/doc/rustc-dev-guide/src/traits/hrtb.md @@ -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_. |