diff options
| author | scalexm <martin.alex32@hotmail.fr> | 2018-06-12 19:27:04 +0200 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-06-12 18:20:35 -0500 |
| commit | eea3079a571ae161d40ba283099c8c2e86de7f36 (patch) | |
| tree | 60feae6c3b7d6856d2259f6e3c6f641ff3ad79a9 /src/doc/rustc-dev-guide | |
| parent | 08dfae74c71706bbf1ff7e08e7e7e81f3750710b (diff) | |
| download | rust-eea3079a571ae161d40ba283099c8c2e86de7f36.tar.gz rust-eea3079a571ae161d40ba283099c8c2e86de7f36.zip | |
Capitalize a word
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/traits/lowering-rules.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/src/traits/lowering-rules.md b/src/doc/rustc-dev-guide/src/traits/lowering-rules.md index e3febd9f27a..d8b73989091 100644 --- a/src/doc/rustc-dev-guide/src/traits/lowering-rules.md +++ b/src/doc/rustc-dev-guide/src/traits/lowering-rules.md @@ -234,7 +234,7 @@ fn foo<K>(collection: Set<K>, x: K, y: K) { } ``` -in the `foo` function, we assume that `Set<K>` is well-formed, i.e. we have +In the `foo` function, we assume that `Set<K>` is well-formed, i.e. we have `FromEnv(Set<K>)` in our environment. Because of the previous rule, we get `FromEnv(K: Hash)` without needing an explicit where clause. And because of the `Hash` trait definition, there also exists a rule which says: @@ -407,4 +407,4 @@ Chalk didn't model functions and constants, but I would eventually like to treat them exactly like normalization. This presumably involves adding a new kind of parameter (constant), and then having a `NormalizeValue` domain goal. This is *to be written* because the -details are a bit up in the air. \ No newline at end of file +details are a bit up in the air. |
