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

Ignoring code examples that aren't actually compile-able

This commit is contained in:
Sunjay Varma 2018-05-10 15:48:24 -07:00
parent 58ef5a78de
commit b9eb2b6c13
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/chalk-overview.md
View File

@ -69,13 +69,13 @@ essentially one of the following:
This is the phase where we encode the rules of the trait system into logic. For This is the phase where we encode the rules of the trait system into logic. For
example, if we have: example, if we have:
```rust ```rust,ignore
impl<T: Clone> Clone for Vec<T> {} impl<T: Clone> Clone for Vec<T> {}
``` ```
We generate: We generate:
```rust ```rust,ignore
forall<T> { (Vec<T>: Clone) :- (T: Clone) } forall<T> { (Vec<T>: Clone) :- (T: Clone) }
``` ```