From c237f48c971436476fac6c65034688a1da27284b Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Sat, 10 Mar 2018 07:06:36 -0500
Subject: [PATCH] add implied bounds placeholder

---
 src/SUMMARY.md               | 1 +
 src/traits-implied-bounds.md | 9 +++++++++
 2 files changed, 10 insertions(+)
 create mode 100644 src/traits-implied-bounds.md

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 6612372b..8aa450b7 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -25,6 +25,7 @@
     - [Lowering to logic](./traits-lowering-to-logic.md)
       - [Goals and clauses](./traits-goals-and-clauses.md)
       - [Equality and associated types](./traits-associated-types.md)
+      - [Implied bounds](./traits-implied-bounds.md)
       - [Region constraints](./traits-regions.md)
     - [Canonical queries](./traits-canonical-queries.md)
       - [Canonicalization](./traits-canonicalization.md)
diff --git a/src/traits-implied-bounds.md b/src/traits-implied-bounds.md
new file mode 100644
index 00000000..26a63bf3
--- /dev/null
+++ b/src/traits-implied-bounds.md
@@ -0,0 +1,9 @@
+# Implied Bounds
+
+*to be written*
+
+Cover:
+
+- Why the `FromEnv` setup etc is the way it is
+- Perhaps move some of the material from 'lowering rules' in to here
+- Show various examples where you could go wrong