Squashed commit of the following:

commit 0d8b83777b33c7164d31fea0c3a310531213d09b
Author: Ken Kawamoto <kentaro.kawamoto@gmail.com>
Date:   Mon May 29 12:34:36 2017 -0700

    chapter 3.6

Author: imsut

src/SUMMARY.md

@@ -15,7 +15,7 @@
 	* [ライフタイムシステムの限界](lifetime-mismatch.md)
 	* [ライフタイムの省略](lifetime-elision.md)
 	* [無制限のライフタイム](unbounded-lifetimes.md)
-	* [Higher-Rank Trait Bounds](hrtb.md)
+	* [高階トレイト境界](hrtb.md)
 	* [Subtyping and Variance](subtyping.md)
 	* [Drop Check](dropck.md)
 	* [PhantomData](phantom-data.md)

src/hrtb.md

@@ -1,7 +1,15 @@
+<!--
 # Higher-Rank Trait Bounds (HRTBs)
+-->
 
+# 高階トレイト境界
+
+<!--
 Rust's `Fn` traits are a little bit magic. For instance, we can write the
 following code:
+-->
+
+Rust の `Fn` トレイトはちょっとした魔法です。例えば、次のように書くことができます。
 
 ```rust
 struct Closure<F> {
@@ -25,8 +33,12 @@ fn main() {
 }
 ```
 
+<!--
 If we try to naively desugar this code in the same way that we did in the
 lifetimes section, we run into some trouble:
+-->
+
+ライフタイムの節と同じように単純に脱糖しようとすると、問題が起こります。
 
 ```rust,ignore
 struct Closure<F> {
@@ -52,22 +64,42 @@ fn main() {
 }
 ```
 
+<!--
 How on earth are we supposed to express the lifetimes on `F`'s trait bound? We
 need to provide some lifetime there, but the lifetime we care about can't be
 named until we enter the body of `call`! Also, that isn't some fixed lifetime;
 `call` works with *any* lifetime `&self` happens to have at that point.
+-->
+
+`F` のトレイト境界は、一体どうすれば表現できるのでしょう?
+なんらかのライフタイムを提供する必要がありますが、問題のライフタイムは `call` 関数が呼ばれるまで名前が無いのです。さらに、ライフタイムは固定されていません。
+`&self` に*どんな*ライフタイムが割り当てられても、`call` は動作します。
 
+<!--
 This job requires The Magic of Higher-Rank Trait Bounds (HRTBs). The way we
 desugar this is as follows:
+-->
+
+この問題は、高階トレイト境界（HRTB: Higher-Rank Trait Bounds）という魔法で解決できます。
+HRTB を使うとつぎのように脱糖できます。
 
 ```rust,ignore
 where for<'a> F: Fn(&'a (u8, u16)) -> &'a u8,
 ```
 
+<!--
 (Where `Fn(a, b, c) -> d` is itself just sugar for the unstable *real* `Fn`
 trait)
+-->
+
+（`Fn(a, b, c) -> d` 自体が、まだ仕様が安定していない*本当の* `Fn` トレイトの糖衣構文です。）
 
+<!--
 `for<'a>` can be read as "for all choices of `'a`", and basically produces an
 *infinite list* of trait bounds that F must satisfy. Intense. There aren't many
 places outside of the `Fn` traits where we encounter HRTBs, and even for
 those we have a nice magic sugar for the common cases.
+-->
+
+`for<'a>` は、「`'a` に何を選んだとしても」という意味で、つまり F が満たさなくてはならないトレイト境界の*無限リスト*を生成します。強烈でしょう?
+`Fn` トレイトを除けば、HRTB が使われる場所はほとんどありません。`Fn` トレイトにおいても、ほとんどの場合は魔法の糖衣構文が良いされています。