user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix code blocks

Browse source
This commit is contained in:
scalexm 2018-10-29 18:58:13 +01:00
parent 971eb71356
commit 2269c91587
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/doc/rustc-dev-guide/src/traits/wf.md
View file

@ -52,7 +52,7 @@ struct Type<P...> where WC_type {
```
we generate the following goal:
```
```text
forall<P...> {
if (FromEnv(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.
Now let's see the generated goal for this general impl:
```
```text
forall<P1...> {
if (FromEnv(WC_impl), FromEnv(InputTypes(SomeType<A2...>))) {
WellFormed(SomeType<A2...>: Trait<A1...>) &&