diff options
| author | scalexm <alexandre@scalexm.fr> | 2018-10-29 18:58:13 +0100 |
|---|---|---|
| committer | scalexm <alexandre@scalexm.fr> | 2018-10-29 18:58:13 +0100 |
| commit | 2269c91587c276bc1284189ec6286a5fe436135c (patch) | |
| tree | 20712d452638c89e46017dc9d68f661fedbfe1a6 /src/doc/rustc-dev-guide | |
| parent | 971eb713564a41ddc8f2d4e4ebe9b8e7a4201256 (diff) | |
| download | rust-2269c91587c276bc1284189ec6286a5fe436135c.tar.gz rust-2269c91587c276bc1284189ec6286a5fe436135c.zip | |
Fix code blocks
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/traits/wf.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/src/traits/wf.md b/src/doc/rustc-dev-guide/src/traits/wf.md index bd1188d87ad..4cef9ec84ae 100644 --- a/src/doc/rustc-dev-guide/src/traits/wf.md +++ b/src/doc/rustc-dev-guide/src/traits/wf.md @@ -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...>) && |