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

Fix code blocks

This commit is contained in:
scalexm 2018-10-29 18:58:13 +01:00
parent b5dff2ed5f
commit 83652097f3
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/wf.md
View File

@ -52,7 +52,7 @@ struct Type<P...> where WC_type {
``` ```
we generate the following goal: we generate the following goal:
``` ```text
forall<P...> { forall<P...> {
if (FromEnv(WC_type)) { if (FromEnv(WC_type)) {
WellFormed(InputTypes(WC_type)) && WellFormed(InputTypes(WC_type)) &&
@ -239,7 +239,7 @@ with values provided by the impl, we may omit them if we don't need them, and
we cannot add new where clauses. we cannot add new where clauses.
Now let's see the generated goal for this general impl: Now let's see the generated goal for this general impl:
``` ```text
forall<P1...> { forall<P1...> {
if (FromEnv(WC_impl), FromEnv(InputTypes(SomeType<A2...>))) { if (FromEnv(WC_impl), FromEnv(InputTypes(SomeType<A2...>))) {
WellFormed(SomeType<A2...>: Trait<A1...>) && WellFormed(SomeType<A2...>: Trait<A1...>) &&