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

Capitalize a word

This commit is contained in:
scalexm 2018-06-12 19:27:04 +02:00 committed by Who? Me?!
parent 99e4f99e9e
commit 247ff14a43
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/traits/lowering-rules.md
View File

@ -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.
details are a bit up in the air.