From cf689b2db429c6286b47b009cc9df26a9b56cba6 Mon Sep 17 00:00:00 2001 From: Sunjay Varma Date: Thu, 10 May 2018 15:48:24 -0700 Subject: [PATCH] Ignoring code examples that aren't actually compile-able --- src/doc/rustc-dev-guide/src/chalk-overview.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/doc/rustc-dev-guide/src/chalk-overview.md b/src/doc/rustc-dev-guide/src/chalk-overview.md index 8c5bc1594fce..49f685149175 100644 --- a/src/doc/rustc-dev-guide/src/chalk-overview.md +++ b/src/doc/rustc-dev-guide/src/chalk-overview.md @@ -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 example, if we have: -```rust +```rust,ignore impl Clone for Vec {} ``` We generate: -```rust +```rust,ignore forall { (Vec: Clone) :- (T: Clone) } ```