From 262987a1e0cc478e30c84f8ea36fc106762c9dea Mon Sep 17 00:00:00 2001
From: shinmili <shinmili@users.noreply.github.com>
Date: Sun, 26 May 2024 12:58:08 +0900
Subject: [PATCH] =?UTF-8?q?ch19=20=E9=AB=98=E5=BA=A6=E3=81=AA=E6=A9=9F?=
 =?UTF-8?q?=E8=83=BD=E3=81=AE=E5=92=8C=E8=A8=B3=E3=82=92=E6=9C=80=E6=96=B0?=
 =?UTF-8?q?=E7=89=88=E3=81=AB=E6=9B=B4=E6=96=B0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

rust-lang/book@19c40bfd2d57641d962f3119a1c343355f1b3c5e
---
 .../listing-19-01/Cargo.toml                  |   3 +-
 .../listing-19-02/Cargo.toml                  |   3 +-
 .../listing-19-03/Cargo.toml                  |   3 +-
 .../listing-19-04/Cargo.toml                  |   3 +-
 .../listing-19-05/Cargo.toml                  |   3 +-
 .../listing-19-05/output.txt                  |  29 +-
 .../listing-19-05/src/main.rs                 |   6 +-
 .../listing-19-06/Cargo.toml                  |   3 +-
 .../listing-19-06/src/main.rs                 |   6 +-
 .../listing-19-07/Cargo.toml                  |   3 +-
 .../listing-19-07/src/main.rs                 |   2 +-
 .../listing-19-08/Cargo.toml                  |   3 +-
 .../listing-19-08/src/main.rs                 |   1 +
 .../listing-19-09/Cargo.toml                  |   3 +-
 .../listing-19-10/Cargo.toml                  |   3 +-
 .../listing-19-11/Cargo.toml                  |   3 +-
 .../listing-19-11/src/main.rs                 |   2 +
 .../listing-19-12/Cargo.toml                  |   3 +-
 .../listing-19-13/Cargo.toml                  |   3 +-
 .../listing-19-14/Cargo.toml                  |   3 +-
 .../listing-19-14/src/main.rs                 |   2 +-
 .../listing-19-15/Cargo.toml                  |   3 +-
 .../listing-19-16/Cargo.toml                  |   3 +-
 .../listing-19-16/src/main.rs                 |   3 +
 .../listing-19-17/Cargo.toml                  |   3 +-
 .../listing-19-18/Cargo.toml                  |   3 +-
 .../listing-19-19/Cargo.toml                  |   3 +-
 .../listing-19-19/src/main.rs                 |   3 +
 .../listing-19-20/Cargo.toml                  |   3 +-
 .../listing-19-20/output.txt                  |  23 +-
 .../listing-19-21/Cargo.toml                  |   3 +-
 .../listing-19-22/Cargo.toml                  |   3 +-
 .../listing-19-23/Cargo.toml                  |   3 +-
 .../listing-19-24/Cargo.toml                  |   3 +-
 .../listing-19-25/Cargo.toml                  |   3 +-
 .../listing-19-27/Cargo.toml                  |   3 +-
 .../listing-19-27/src/main.rs                 |   1 +
 .../listing-19-28/Cargo.toml                  |   3 +-
 .../listing-19-30/Cargo.toml                  |   3 +-
 .../listing-19-31/hello_macro/Cargo.toml      |   3 +-
 .../hello_macro/hello_macro_derive/Cargo.toml |   3 +-
 .../hello_macro/hello_macro_derive/src/lib.rs |   2 -
 .../hello_macro_derive/src/lib.rs.bak         |  17 +
 .../listing-19-33/hello_macro/Cargo.toml      |   3 +-
 .../hello_macro/hello_macro_derive/Cargo.toml |   3 +-
 .../hello_macro/hello_macro_derive/src/lib.rs |   2 -
 .../no-listing-01-unsafe-fn/Cargo.toml        |   3 +-
 .../Cargo.toml                                |   3 +-
 .../output.txt                                |  18 +-
 .../Cargo.toml                                |   3 +-
 .../no-listing-04-kilometers-alias/Cargo.toml |   3 +-
 .../no-listing-05-write-trait/Cargo.toml      |   3 +-
 .../no-listing-06-result-alias/Cargo.toml     |   3 +-
 .../no-listing-06-result-alias/src/lib.rs     |   2 -
 .../no-listing-07-never-type/Cargo.toml       |   3 +-
 .../no-listing-07-never-type/src/lib.rs       |   2 -
 .../Cargo.toml                                |   3 +-
 .../Cargo.toml                                |   3 +-
 .../Cargo.toml                                |   3 +-
 .../no-listing-11-cant-create-str/Cargo.toml  |   3 +-
 .../Cargo.toml                                |   3 +-
 .../Cargo.toml                                |   3 +-
 .../Cargo.toml                                |   3 +-
 .../no-listing-15-map-closure/Cargo.toml      |   3 +-
 .../no-listing-16-map-function/Cargo.toml     |   3 +-
 .../no-listing-17-map-initializer/Cargo.toml  |   3 +-
 .../no-listing-18-returns-closure/Cargo.toml  |   3 +-
 .../no-listing-18-returns-closure/output.txt  |  30 +-
 .../Cargo.toml                                |   3 +-
 .../hello_macro/Cargo.toml                    |   3 +-
 .../pancakes/Cargo.toml                       |   3 +-
 .../hello_macro/Cargo.toml                    |   3 +-
 .../hello_macro/hello_macro_derive/Cargo.toml |   3 +-
 .../hello_macro/hello_macro_derive/src/lib.rs |   2 -
 .../pancakes/Cargo.toml                       |   3 +-
 .../Cargo.lock                                |   0
 .../Cargo.toml                                |   3 +-
 .../src/lib.rs                                |   2 -
 .../output-only-01-missing-unsafe/Cargo.toml  |   3 +-
 .../output-only-01-missing-unsafe/output.txt  |   7 +-
 src/ch19-00-advanced-features.md              |  14 +-
 src/ch19-01-unsafe-rust.md                    | 465 +++++-------
 src/ch19-03-advanced-traits.md                | 714 +++++++-----------
 src/ch19-04-advanced-types.md                 | 352 ++++-----
 ...ch19-05-advanced-functions-and-closures.md | 181 +++--
 src/ch19-06-macros.md                         | 160 ++--
 86 files changed, 957 insertions(+), 1265 deletions(-)
 create mode 100644 listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs.bak
 rename listings/ch19-advanced-features/{listing-13-21-reproduced => no-listing-22-iterator-on-counter}/Cargo.lock (100%)
 rename listings/ch19-advanced-features/{listing-13-21-reproduced => no-listing-22-iterator-on-counter}/Cargo.toml (50%)
 rename listings/ch19-advanced-features/{listing-13-21-reproduced => no-listing-22-iterator-on-counter}/src/lib.rs (96%)

diff --git a/listings/ch19-advanced-features/listing-19-01/Cargo.toml b/listings/ch19-advanced-features/listing-19-01/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-01/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-01/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-02/Cargo.toml b/listings/ch19-advanced-features/listing-19-02/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-02/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-02/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-03/Cargo.toml b/listings/ch19-advanced-features/listing-19-03/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-03/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-03/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-04/Cargo.toml b/listings/ch19-advanced-features/listing-19-04/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-04/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-04/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-05/Cargo.toml b/listings/ch19-advanced-features/listing-19-05/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-05/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-05/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-05/output.txt b/listings/ch19-advanced-features/listing-19-05/output.txt
index 3df0e2b64..405f779aa 100644
--- a/listings/ch19-advanced-features/listing-19-05/output.txt
+++ b/listings/ch19-advanced-features/listing-19-05/output.txt
@@ -1,21 +1,22 @@
 $ cargo run
    Compiling unsafe-example v0.1.0 (file:///projects/unsafe-example)
-error[E0499]: cannot borrow `*slice` as mutable more than once at a time
- --> src/main.rs:6:30
+error[E0499]: cannot borrow `*values` as mutable more than once at a time
+(エラー: 一度に2回以上、`*values`を可変で借用できません)
+ --> src/main.rs:6:31
   |
-1 | fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
-  |                        - let's call the lifetime of this reference `'1`
+1 | fn split_at_mut(values: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
+  |                         - let's call the lifetime of this reference `'1`
+  |                          (この参照のライフタイムを`'1`とします)
 ...
-6 |     (&mut slice[..mid], &mut slice[mid..])
-  |     -------------------------^^^^^--------
-  |     |     |                  |
-  |     |     |                  second mutable borrow occurs here
+6 |     (&mut values[..mid], &mut values[mid..])
+  |     --------------------------^^^^^^--------
+  |     |     |                   |
+  |     |     |                   second mutable borrow occurs here
+  |     |     |                  (2回目の可変参照はここで発生します)
   |     |     first mutable borrow occurs here
-  |     returning this value requires that `*slice` is borrowed for `'1`
-
-error: aborting due to previous error
+  |     |    (1回目の可変参照はここで発生します)
+  |     returning this value requires that `*values` is borrowed for `'1`
+  |    (この値を返すためには`*values`が`'1`の間借用されていることが必要です)
 
 For more information about this error, try `rustc --explain E0499`.
-error: could not compile `unsafe-example`.
-
-To learn more, run the command again with --verbose.
+error: could not compile `unsafe-example` (bin "unsafe-example") due to 1 previous error
diff --git a/listings/ch19-advanced-features/listing-19-05/src/main.rs b/listings/ch19-advanced-features/listing-19-05/src/main.rs
index c4b83effa..dabf63de1 100644
--- a/listings/ch19-advanced-features/listing-19-05/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-05/src/main.rs
@@ -1,10 +1,10 @@
 // ANCHOR: here
-fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
-    let len = slice.len();
+fn split_at_mut(values: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
+    let len = values.len();
 
     assert!(mid <= len);
 
-    (&mut slice[..mid], &mut slice[mid..])
+    (&mut values[..mid], &mut values[mid..])
 }
 // ANCHOR_END: here
 
diff --git a/listings/ch19-advanced-features/listing-19-06/Cargo.toml b/listings/ch19-advanced-features/listing-19-06/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-06/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-06/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-06/src/main.rs b/listings/ch19-advanced-features/listing-19-06/src/main.rs
index f25cbf49d..3af21f761 100644
--- a/listings/ch19-advanced-features/listing-19-06/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-06/src/main.rs
@@ -1,9 +1,9 @@
 // ANCHOR: here
 use std::slice;
 
-fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
-    let len = slice.len();
-    let ptr = slice.as_mut_ptr();
+fn split_at_mut(values: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
+    let len = values.len();
+    let ptr = values.as_mut_ptr();
 
     assert!(mid <= len);
 
diff --git a/listings/ch19-advanced-features/listing-19-07/Cargo.toml b/listings/ch19-advanced-features/listing-19-07/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-07/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-07/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-07/src/main.rs b/listings/ch19-advanced-features/listing-19-07/src/main.rs
index 0ab39ae1d..b4d6cdb7c 100644
--- a/listings/ch19-advanced-features/listing-19-07/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-07/src/main.rs
@@ -5,6 +5,6 @@ fn main() {
     let address = 0x01234usize;
     let r = address as *mut i32;
 
-    let slice: &[i32] = unsafe { slice::from_raw_parts_mut(r, 10000) };
+    let values: &[i32] = unsafe { slice::from_raw_parts_mut(r, 10000) };
     // ANCHOR_END: here
 }
diff --git a/listings/ch19-advanced-features/listing-19-08/Cargo.toml b/listings/ch19-advanced-features/listing-19-08/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-08/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-08/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-08/src/main.rs b/listings/ch19-advanced-features/listing-19-08/src/main.rs
index 8b56630c9..d3755040f 100644
--- a/listings/ch19-advanced-features/listing-19-08/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-08/src/main.rs
@@ -4,6 +4,7 @@ extern "C" {
 
 fn main() {
     unsafe {
+        // -3の絶対値は、Cによると{}
         println!("Absolute value of -3 according to C: {}", abs(-3));
     }
 }
diff --git a/listings/ch19-advanced-features/listing-19-09/Cargo.toml b/listings/ch19-advanced-features/listing-19-09/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-09/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-09/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-10/Cargo.toml b/listings/ch19-advanced-features/listing-19-10/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-10/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-10/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-11/Cargo.toml b/listings/ch19-advanced-features/listing-19-11/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/listing-19-11/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-11/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-11/src/main.rs b/listings/ch19-advanced-features/listing-19-11/src/main.rs
index 885c1aa1d..ca3bcf171 100644
--- a/listings/ch19-advanced-features/listing-19-11/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-11/src/main.rs
@@ -1,9 +1,11 @@
 unsafe trait Foo {
     // methods go here
+    // メソッドがここに来る
 }
 
 unsafe impl Foo for i32 {
     // method implementations go here
+    // メソッドの実装がここに来る
 }
 
 fn main() {}
diff --git a/listings/ch19-advanced-features/listing-19-12/Cargo.toml b/listings/ch19-advanced-features/listing-19-12/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-12/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-12/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-13/Cargo.toml b/listings/ch19-advanced-features/listing-19-13/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-13/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-13/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-14/Cargo.toml b/listings/ch19-advanced-features/listing-19-14/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-14/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-14/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-14/src/main.rs b/listings/ch19-advanced-features/listing-19-14/src/main.rs
index 7dea568d9..9111fbc55 100644
--- a/listings/ch19-advanced-features/listing-19-14/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-14/src/main.rs
@@ -1,6 +1,6 @@
 use std::ops::Add;
 
-#[derive(Debug, PartialEq)]
+#[derive(Debug, Copy, Clone, PartialEq)]
 struct Point {
     x: i32,
     y: i32,
diff --git a/listings/ch19-advanced-features/listing-19-15/Cargo.toml b/listings/ch19-advanced-features/listing-19-15/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-15/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-15/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-16/Cargo.toml b/listings/ch19-advanced-features/listing-19-16/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-16/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-16/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-16/src/main.rs b/listings/ch19-advanced-features/listing-19-16/src/main.rs
index d854e287d..64d9b9ba3 100644
--- a/listings/ch19-advanced-features/listing-19-16/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-16/src/main.rs
@@ -11,18 +11,21 @@ struct Human;
 
 impl Pilot for Human {
     fn fly(&self) {
+        // こちら機長です。
         println!("This is your captain speaking.");
     }
 }
 
 impl Wizard for Human {
     fn fly(&self) {
+        // 上がれ！
         println!("Up!");
     }
 }
 
 impl Human {
     fn fly(&self) {
+        // *激しく腕を振る*
         println!("*waving arms furiously*");
     }
 }
diff --git a/listings/ch19-advanced-features/listing-19-17/Cargo.toml b/listings/ch19-advanced-features/listing-19-17/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-17/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-17/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-18/Cargo.toml b/listings/ch19-advanced-features/listing-19-18/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-18/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-18/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-19/Cargo.toml b/listings/ch19-advanced-features/listing-19-19/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-19/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-19/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-19/src/main.rs b/listings/ch19-advanced-features/listing-19-19/src/main.rs
index 44affe0ee..10a011fde 100644
--- a/listings/ch19-advanced-features/listing-19-19/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-19/src/main.rs
@@ -6,16 +6,19 @@ struct Dog;
 
 impl Dog {
     fn baby_name() -> String {
+        // スポット
         String::from("Spot")
     }
 }
 
 impl Animal for Dog {
     fn baby_name() -> String {
+        // 子犬
         String::from("puppy")
     }
 }
 
 fn main() {
+    // 赤ちゃん犬は{}と呼ばれる
     println!("A baby dog is called a {}", Dog::baby_name());
 }
diff --git a/listings/ch19-advanced-features/listing-19-20/Cargo.toml b/listings/ch19-advanced-features/listing-19-20/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-20/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-20/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-20/output.txt b/listings/ch19-advanced-features/listing-19-20/output.txt
index 46c7dafa0..123884626 100644
--- a/listings/ch19-advanced-features/listing-19-20/output.txt
+++ b/listings/ch19-advanced-features/listing-19-20/output.txt
@@ -1,19 +1,22 @@
 $ cargo run
    Compiling traits-example v0.1.0 (file:///projects/traits-example)
-error[E0283]: type annotations needed
+error[E0790]: cannot call associated function on trait without specifying the corresponding `impl` type
+(エラー: 対応する`impl`型を指定せずにトレイト上の関連関数を呼び出すことはできません)
   --> src/main.rs:20:43
    |
 2  |     fn baby_name() -> String;
-   |     ------------------------- required by `Animal::baby_name`
+   |     ------------------------- `Animal::baby_name` defined here
+   |                              (`Animal::baby_name`はここで定義されています)
 ...
 20 |     println!("A baby dog is called a {}", Animal::baby_name());
-   |                                           ^^^^^^^^^^^^^^^^^ cannot infer type
+   |                                           ^^^^^^^^^^^^^^^^^ cannot call associated function of trait
+   |                                                            (トレイトの関連関数を呼び出すことができません)
    |
-   = note: cannot resolve `_: Animal`
-
-error: aborting due to previous error
-
-For more information about this error, try `rustc --explain E0283`.
-error: could not compile `traits-example`.
+help: use the fully-qualified path to the only available implementation
+(ヘルプ: 利用可能な実装のうち1つを指すフルパスを使用してください)
+   |
+20 |     println!("A baby dog is called a {}", <Dog as Animal>::baby_name());
+   |                                           +++++++       +
 
-To learn more, run the command again with --verbose.
+For more information about this error, try `rustc --explain E0790`.
+error: could not compile `traits-example` (bin "traits-example") due to 1 previous error
diff --git a/listings/ch19-advanced-features/listing-19-21/Cargo.toml b/listings/ch19-advanced-features/listing-19-21/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-21/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-21/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-22/Cargo.toml b/listings/ch19-advanced-features/listing-19-22/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-22/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-22/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-23/Cargo.toml b/listings/ch19-advanced-features/listing-19-23/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/listing-19-23/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-23/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-24/Cargo.toml b/listings/ch19-advanced-features/listing-19-24/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/listing-19-24/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-24/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-25/Cargo.toml b/listings/ch19-advanced-features/listing-19-25/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/listing-19-25/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-25/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-27/Cargo.toml b/listings/ch19-advanced-features/listing-19-27/Cargo.toml
index 2bed56c36..b196f35b5 100644
--- a/listings/ch19-advanced-features/listing-19-27/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-27/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "functions-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-27/src/main.rs b/listings/ch19-advanced-features/listing-19-27/src/main.rs
index 91b2cf04b..20ab62b18 100644
--- a/listings/ch19-advanced-features/listing-19-27/src/main.rs
+++ b/listings/ch19-advanced-features/listing-19-27/src/main.rs
@@ -9,5 +9,6 @@ fn do_twice(f: fn(i32) -> i32, arg: i32) -> i32 {
 fn main() {
     let answer = do_twice(add_one, 5);
 
+    // 答えは: {}
     println!("The answer is: {}", answer);
 }
diff --git a/listings/ch19-advanced-features/listing-19-28/Cargo.toml b/listings/ch19-advanced-features/listing-19-28/Cargo.toml
index 1829b0fa6..9218091c8 100644
--- a/listings/ch19-advanced-features/listing-19-28/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-28/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "macros-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-30/Cargo.toml b/listings/ch19-advanced-features/listing-19-30/Cargo.toml
index 5a93a685c..c6fb92087 100644
--- a/listings/ch19-advanced-features/listing-19-30/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-30/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "hello_macro"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-31/hello_macro/Cargo.toml b/listings/ch19-advanced-features/listing-19-31/hello_macro/Cargo.toml
index 5a93a685c..c6fb92087 100644
--- a/listings/ch19-advanced-features/listing-19-31/hello_macro/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-31/hello_macro/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "hello_macro"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/Cargo.toml b/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/Cargo.toml
index 168cbae53..aa076ac48 100644
--- a/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/Cargo.toml
@@ -1,8 +1,7 @@
 [package]
 name = "hello_macro_derive"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [lib]
 proc-macro = true
diff --git a/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs b/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs
index 8757a2f77..dddbf62c8 100644
--- a/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs
+++ b/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs
@@ -1,5 +1,3 @@
-extern crate proc_macro;
-
 use proc_macro::TokenStream;
 use quote::quote;
 use syn;
diff --git a/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs.bak b/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs.bak
new file mode 100644
index 000000000..8757a2f77
--- /dev/null
+++ b/listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/src/lib.rs.bak
@@ -0,0 +1,17 @@
+extern crate proc_macro;
+
+use proc_macro::TokenStream;
+use quote::quote;
+use syn;
+
+#[proc_macro_derive(HelloMacro)]
+pub fn hello_macro_derive(input: TokenStream) -> TokenStream {
+    // 操作可能な構文木としてのRustコードの表現を構築する
+    // Construct a representation of Rust code as a syntax tree
+    // that we can manipulate
+    let ast = syn::parse(input).unwrap();
+
+    // トレイトの実装内容を構築
+    // Build the trait implementation
+    impl_hello_macro(&ast)
+}
diff --git a/listings/ch19-advanced-features/listing-19-33/hello_macro/Cargo.toml b/listings/ch19-advanced-features/listing-19-33/hello_macro/Cargo.toml
index 5a93a685c..c6fb92087 100644
--- a/listings/ch19-advanced-features/listing-19-33/hello_macro/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-33/hello_macro/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "hello_macro"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/Cargo.toml b/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/Cargo.toml
index 168cbae53..aa076ac48 100644
--- a/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/Cargo.toml
+++ b/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/Cargo.toml
@@ -1,8 +1,7 @@
 [package]
 name = "hello_macro_derive"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [lib]
 proc-macro = true
diff --git a/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/src/lib.rs b/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/src/lib.rs
index 591f0c359..dac6c98f6 100644
--- a/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/src/lib.rs
+++ b/listings/ch19-advanced-features/listing-19-33/hello_macro/hello_macro_derive/src/lib.rs
@@ -1,5 +1,3 @@
-extern crate proc_macro;
-
 use proc_macro::TokenStream;
 use quote::quote;
 use syn;
diff --git a/listings/ch19-advanced-features/no-listing-01-unsafe-fn/Cargo.toml b/listings/ch19-advanced-features/no-listing-01-unsafe-fn/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/no-listing-01-unsafe-fn/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-01-unsafe-fn/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/Cargo.toml b/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/output.txt b/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/output.txt
index e7a028e35..f1333e875 100644
--- a/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/output.txt
+++ b/listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/output.txt
@@ -1,17 +1,21 @@
 $ cargo run
    Compiling traits-example v0.1.0 (file:///projects/traits-example)
 error[E0277]: `Point` doesn't implement `std::fmt::Display`
-  --> src/main.rs:20:6
+(エラー: `Point`は`std::fmt::Display`を実装していません)
+  --> src/main.rs:20:23
    |
 20 | impl OutlinePrint for Point {}
-   |      ^^^^^^^^^^^^ `Point` cannot be formatted with the default formatter
+   |                       ^^^^^ `Point` cannot be formatted with the default formatter
    |
    = help: the trait `std::fmt::Display` is not implemented for `Point`
    = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead
-
-error: aborting due to previous error
+note: required by a bound in `OutlinePrint`
+(注釈: `OutlinePrint`境界によって要求されています)
+  --> src/main.rs:3:21
+   |
+3  | trait OutlinePrint: fmt::Display {
+   |                     ^^^^^^^^^^^^ required by this bound in `OutlinePrint`
+   |                                 (`OutlinePrint`のこの境界によって要求されています)
 
 For more information about this error, try `rustc --explain E0277`.
-error: could not compile `traits-example`.
-
-To learn more, run the command again with --verbose.
+error: could not compile `traits-example` (bin "traits-example") due to 1 previous error
diff --git a/listings/ch19-advanced-features/no-listing-03-impl-display-for-point/Cargo.toml b/listings/ch19-advanced-features/no-listing-03-impl-display-for-point/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/no-listing-03-impl-display-for-point/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-03-impl-display-for-point/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-04-kilometers-alias/Cargo.toml b/listings/ch19-advanced-features/no-listing-04-kilometers-alias/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-04-kilometers-alias/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-04-kilometers-alias/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-05-write-trait/Cargo.toml b/listings/ch19-advanced-features/no-listing-05-write-trait/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/no-listing-05-write-trait/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-05-write-trait/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-06-result-alias/Cargo.toml b/listings/ch19-advanced-features/no-listing-06-result-alias/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/no-listing-06-result-alias/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-06-result-alias/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-06-result-alias/src/lib.rs b/listings/ch19-advanced-features/no-listing-06-result-alias/src/lib.rs
index c53a927e3..573559934 100644
--- a/listings/ch19-advanced-features/no-listing-06-result-alias/src/lib.rs
+++ b/listings/ch19-advanced-features/no-listing-06-result-alias/src/lib.rs
@@ -13,5 +13,3 @@ pub trait Write {
     fn write_fmt(&mut self, fmt: fmt::Arguments) -> Result<()>;
 }
 // ANCHOR_END: there
-
-fn main() {}
diff --git a/listings/ch19-advanced-features/no-listing-07-never-type/Cargo.toml b/listings/ch19-advanced-features/no-listing-07-never-type/Cargo.toml
index 1e3df0242..52395a587 100644
--- a/listings/ch19-advanced-features/no-listing-07-never-type/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-07-never-type/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "traits-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-07-never-type/src/lib.rs b/listings/ch19-advanced-features/no-listing-07-never-type/src/lib.rs
index 236224186..f0f7acac2 100644
--- a/listings/ch19-advanced-features/no-listing-07-never-type/src/lib.rs
+++ b/listings/ch19-advanced-features/no-listing-07-never-type/src/lib.rs
@@ -6,5 +6,3 @@ fn bar() -> ! {
     // ANCHOR: here
 }
 // ANCHOR_END: here
-
-fn main() {}
diff --git a/listings/ch19-advanced-features/no-listing-08-match-arms-different-types/Cargo.toml b/listings/ch19-advanced-features/no-listing-08-match-arms-different-types/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-08-match-arms-different-types/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-08-match-arms-different-types/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-09-unwrap-definition/Cargo.toml b/listings/ch19-advanced-features/no-listing-09-unwrap-definition/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-09-unwrap-definition/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-09-unwrap-definition/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-10-loop-returns-never/Cargo.toml b/listings/ch19-advanced-features/no-listing-10-loop-returns-never/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-10-loop-returns-never/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-10-loop-returns-never/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-11-cant-create-str/Cargo.toml b/listings/ch19-advanced-features/no-listing-11-cant-create-str/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-11-cant-create-str/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-11-cant-create-str/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-12-generic-fn-definition/Cargo.toml b/listings/ch19-advanced-features/no-listing-12-generic-fn-definition/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-12-generic-fn-definition/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-12-generic-fn-definition/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-13-generic-implicit-sized-bound/Cargo.toml b/listings/ch19-advanced-features/no-listing-13-generic-implicit-sized-bound/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-13-generic-implicit-sized-bound/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-13-generic-implicit-sized-bound/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-14-generic-maybe-sized/Cargo.toml b/listings/ch19-advanced-features/no-listing-14-generic-maybe-sized/Cargo.toml
index 9b4ee689b..a2ae20c77 100644
--- a/listings/ch19-advanced-features/no-listing-14-generic-maybe-sized/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-14-generic-maybe-sized/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "types-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-15-map-closure/Cargo.toml b/listings/ch19-advanced-features/no-listing-15-map-closure/Cargo.toml
index 2bed56c36..b196f35b5 100644
--- a/listings/ch19-advanced-features/no-listing-15-map-closure/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-15-map-closure/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "functions-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-16-map-function/Cargo.toml b/listings/ch19-advanced-features/no-listing-16-map-function/Cargo.toml
index 2bed56c36..b196f35b5 100644
--- a/listings/ch19-advanced-features/no-listing-16-map-function/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-16-map-function/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "functions-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-17-map-initializer/Cargo.toml b/listings/ch19-advanced-features/no-listing-17-map-initializer/Cargo.toml
index 2bed56c36..b196f35b5 100644
--- a/listings/ch19-advanced-features/no-listing-17-map-initializer/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-17-map-initializer/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "functions-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-18-returns-closure/Cargo.toml b/listings/ch19-advanced-features/no-listing-18-returns-closure/Cargo.toml
index 2bed56c36..b196f35b5 100644
--- a/listings/ch19-advanced-features/no-listing-18-returns-closure/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-18-returns-closure/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "functions-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-18-returns-closure/output.txt b/listings/ch19-advanced-features/no-listing-18-returns-closure/output.txt
index 2d4be9b0a..bc736bd68 100644
--- a/listings/ch19-advanced-features/no-listing-18-returns-closure/output.txt
+++ b/listings/ch19-advanced-features/no-listing-18-returns-closure/output.txt
@@ -1,30 +1,20 @@
 $ cargo build
    Compiling functions-example v0.1.0 (file:///projects/functions-example)
-error[E0277]: the size for values of type `(dyn std::ops::Fn(i32) -> i32 + 'static)` cannot be known at compilation time
+error[E0746]: return type cannot have an unboxed trait object
  --> src/lib.rs:1:25
   |
 1 | fn returns_closure() -> dyn Fn(i32) -> i32 {
   |                         ^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
   |
-  = help: the trait `std::marker::Sized` is not implemented for `(dyn std::ops::Fn(i32) -> i32 + 'static)`
-  = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
-  = note: the return type of a function must have a statically known size
-
-error[E0308]: mismatched types
- --> src/lib.rs:2:5
+help: return an `impl Trait` instead of a `dyn Trait`, if all returned values are the same type
   |
-1 | fn returns_closure() -> dyn Fn(i32) -> i32 {
-  |                         ------------------ expected `(dyn std::ops::Fn(i32) -> i32 + 'static)` because of return type
-2 |     |x| x + 1
-  |     ^^^^^^^^^ expected trait `std::ops::Fn`, found closure
+1 | fn returns_closure() -> impl Fn(i32) -> i32 {
+  |                         ~~~~
+help: box the return type, and wrap all of the returned values in `Box::new`
+  |
+1 ~ fn returns_closure() -> Box<dyn Fn(i32) -> i32> {
+2 ~     Box::new(|x| x + 1)
   |
-  = note: expected trait object `(dyn std::ops::Fn(i32) -> i32 + 'static)`
-                  found closure `[closure@src/lib.rs:2:5: 2:14]`
-
-error: aborting due to 2 previous errors
-
-Some errors have detailed explanations: E0277, E0308.
-For more information about an error, try `rustc --explain E0277`.
-error: could not compile `functions-example`.
 
-To learn more, run the command again with --verbose.
+For more information about this error, try `rustc --explain E0746`.
+error: could not compile `functions-example` (lib) due to 1 previous error
diff --git a/listings/ch19-advanced-features/no-listing-19-returns-closure-trait-object/Cargo.toml b/listings/ch19-advanced-features/no-listing-19-returns-closure-trait-object/Cargo.toml
index 2bed56c36..b196f35b5 100644
--- a/listings/ch19-advanced-features/no-listing-19-returns-closure-trait-object/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-19-returns-closure-trait-object/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "functions-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/hello_macro/Cargo.toml b/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/hello_macro/Cargo.toml
index 5a93a685c..c6fb92087 100644
--- a/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/hello_macro/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/hello_macro/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "hello_macro"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/pancakes/Cargo.toml b/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/pancakes/Cargo.toml
index 4b6c267b4..3ad910862 100644
--- a/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/pancakes/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/pancakes/Cargo.toml
@@ -1,8 +1,7 @@
 [package]
 name = "pancakes"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
 hello_macro = { path = "../hello_macro" }
\ No newline at end of file
diff --git a/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/Cargo.toml b/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/Cargo.toml
index 5a93a685c..c6fb92087 100644
--- a/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "hello_macro"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/Cargo.toml b/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/Cargo.toml
index 168cbae53..aa076ac48 100644
--- a/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/Cargo.toml
@@ -1,8 +1,7 @@
 [package]
 name = "hello_macro_derive"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [lib]
 proc-macro = true
diff --git a/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/src/lib.rs b/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/src/lib.rs
index 7a3279d86..5e0b96c27 100644
--- a/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/src/lib.rs
+++ b/listings/ch19-advanced-features/no-listing-21-pancakes/hello_macro/hello_macro_derive/src/lib.rs
@@ -1,5 +1,3 @@
-extern crate proc_macro;
-
 use proc_macro::TokenStream;
 use quote::quote;
 use syn;
diff --git a/listings/ch19-advanced-features/no-listing-21-pancakes/pancakes/Cargo.toml b/listings/ch19-advanced-features/no-listing-21-pancakes/pancakes/Cargo.toml
index cc0addaa4..cb3a98c3a 100644
--- a/listings/ch19-advanced-features/no-listing-21-pancakes/pancakes/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-21-pancakes/pancakes/Cargo.toml
@@ -1,8 +1,7 @@
 [package]
 name = "pancakes"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
 hello_macro = { path = "../hello_macro" }
diff --git a/listings/ch19-advanced-features/listing-13-21-reproduced/Cargo.lock b/listings/ch19-advanced-features/no-listing-22-iterator-on-counter/Cargo.lock
similarity index 100%
rename from listings/ch19-advanced-features/listing-13-21-reproduced/Cargo.lock
rename to listings/ch19-advanced-features/no-listing-22-iterator-on-counter/Cargo.lock
diff --git a/listings/ch19-advanced-features/listing-13-21-reproduced/Cargo.toml b/listings/ch19-advanced-features/no-listing-22-iterator-on-counter/Cargo.toml
similarity index 50%
rename from listings/ch19-advanced-features/listing-13-21-reproduced/Cargo.toml
rename to listings/ch19-advanced-features/no-listing-22-iterator-on-counter/Cargo.toml
index 4eb29e80c..9e103f3eb 100644
--- a/listings/ch19-advanced-features/listing-13-21-reproduced/Cargo.toml
+++ b/listings/ch19-advanced-features/no-listing-22-iterator-on-counter/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "counter"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/listing-13-21-reproduced/src/lib.rs b/listings/ch19-advanced-features/no-listing-22-iterator-on-counter/src/lib.rs
similarity index 96%
rename from listings/ch19-advanced-features/listing-13-21-reproduced/src/lib.rs
rename to listings/ch19-advanced-features/no-listing-22-iterator-on-counter/src/lib.rs
index b71b54fbc..04c7f38f5 100644
--- a/listings/ch19-advanced-features/listing-13-21-reproduced/src/lib.rs
+++ b/listings/ch19-advanced-features/no-listing-22-iterator-on-counter/src/lib.rs
@@ -23,5 +23,3 @@ impl Iterator for Counter {
         }
     }
 }
-
-fn main() {}
diff --git a/listings/ch19-advanced-features/output-only-01-missing-unsafe/Cargo.toml b/listings/ch19-advanced-features/output-only-01-missing-unsafe/Cargo.toml
index aabe3bdf5..3e8a29201 100644
--- a/listings/ch19-advanced-features/output-only-01-missing-unsafe/Cargo.toml
+++ b/listings/ch19-advanced-features/output-only-01-missing-unsafe/Cargo.toml
@@ -1,7 +1,6 @@
 [package]
 name = "unsafe-example"
 version = "0.1.0"
-authors = ["Your Name <you@example.com>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
diff --git a/listings/ch19-advanced-features/output-only-01-missing-unsafe/output.txt b/listings/ch19-advanced-features/output-only-01-missing-unsafe/output.txt
index bfe082a8b..36e1175bb 100644
--- a/listings/ch19-advanced-features/output-only-01-missing-unsafe/output.txt
+++ b/listings/ch19-advanced-features/output-only-01-missing-unsafe/output.txt
@@ -1,6 +1,7 @@
 $ cargo run
    Compiling unsafe-example v0.1.0 (file:///projects/unsafe-example)
 error[E0133]: call to unsafe function is unsafe and requires unsafe function or block
+(エラー: unsafe関数の呼び出しはunsafeであり、unsafeな関数かブロックが必要です)
  --> src/main.rs:4:5
   |
 4 |     dangerous();
@@ -8,9 +9,5 @@ error[E0133]: call to unsafe function is unsafe and requires unsafe function or
   |
   = note: consult the function's documentation for information on how to avoid undefined behavior
 
-error: aborting due to previous error
-
 For more information about this error, try `rustc --explain E0133`.
-error: could not compile `unsafe-example`.
-
-To learn more, run the command again with --verbose.
+error: could not compile `unsafe-example` (bin "unsafe-example") due to 1 previous error
diff --git a/src/ch19-00-advanced-features.md b/src/ch19-00-advanced-features.md
index 48190a7a7..ce33baa36 100644
--- a/src/ch19-00-advanced-features.md
+++ b/src/ch19-00-advanced-features.md
@@ -7,16 +7,16 @@
 <!--
 By now, you’ve learned the most commonly used parts of the Rust programming
 language. Before we do one more project in Chapter 20, we’ll look at a few
-aspects of the language you might run into every once in a while. You can use
-this chapter as a reference for when you encounter any unknowns when using
-Rust. The features you’ll learn to use in this chapter are useful in very
-specific situations. Although you might not reach for them often, we want to
-make sure you have a grasp of all the features Rust has to offer.
+aspects of the language you might run into every once in a while, but may not
+use every day. You can use this chapter as a reference for when you encounter
+any unknowns. The features covered here are useful in very specific situations.
+Although you might not reach for them often, we want to make sure you have a
+grasp of all the features Rust has to offer.
 -->
 
 今までに、Rustプログラミング言語の最もよく使われる部分を学んできました。第20章でもう1つ別のプロジェクトを行う前に、
-時折遭遇する言語の側面をいくつか見ましょう。この章は、Rustを使用する際に知らないことに遭遇した時に参考にすることができます。
-この章で使用することを学ぶ機能は、かなり限定的な場面でしか役に立ちません。あまり頻繁には手を伸ばすことがない可能性はありますが、
+時折遭遇するが、毎日は使わないような言語の側面をいくつか見ましょう。この章は、知らないことに遭遇した時に参考にすることができます。
+ここで扱う機能は、かなり限定的な場面でしか役に立ちません。あまり頻繁には手を伸ばすことがない可能性はありますが、
 Rustが提供しなければならない機能全ての概要を確かに把握してもらいたいのです。
 
 <!--
diff --git a/src/ch19-01-unsafe-rust.md b/src/ch19-01-unsafe-rust.md
index 7d7859d88..f1b4f4583 100644
--- a/src/ch19-01-unsafe-rust.md
+++ b/src/ch19-01-unsafe-rust.md
@@ -18,18 +18,20 @@ Rustには、これらのメモリ安全保証を強制しない第2の言語が
 <!--
 Unsafe Rust exists because, by nature, static analysis is conservative. When
 the compiler tries to determine whether or not code upholds the guarantees,
-it’s better for it to reject some valid programs rather than accept some
-invalid programs. Although the code might be okay, as far as Rust is able to
-tell, it’s not! In these cases, you can use unsafe code to tell the compiler,
-“Trust me, I know what I’m doing.” The downside is that you use it at our own
-risk: if you use unsafe code incorrectly, problems due to memory unsafety, such
-as null pointer dereferencing, can occur.
+it’s better for it to reject some valid programs than to accept some invalid
+programs. Although the code *might* be okay, if the Rust compiler doesn’t have
+enough information to be confident, it will reject the code. In these cases,
+you can use unsafe code to tell the compiler, “Trust me, I know what I’m
+doing.” Be warned, however, that you use unsafe Rust at your own risk: if you
+use unsafe code incorrectly, problems can occur due to memory unsafety, such as
+null pointer dereferencing.
 -->
 
 静的解析は原理的に保守的なので、unsafe Rustが存在します。コードが保証を保持しているかコンパイラが決定しようとする際、
-なんらかの不正なプログラムを受け入れるよりも合法なプログラムを拒否したほうがいいのです。コードは大丈夫かもしれないけれど、
-コンパイラにわかる範囲ではダメなのです！このような場合、unsafeコードを使用してコンパイラに「信じて！何をしているかわかってるよ」と教えられます。
-欠点は、自らのリスクで使用することです: unsafeコードを誤って使用したら、
+なんらかの不正なプログラムを受け入れるよりも合法なプログラムを拒否したほうがいいのです。コードは大丈夫*かもしれない*けれど、
+Rustコンパイラが大丈夫と確信するために十分な情報を持っていなければ、コンパイラはそのコードを拒否するでしょう。
+このような場合、unsafeコードを使用してコンパイラに「信じて！何をしているかわかってるよ」と教えられます。
+しかし注意してください、unsafe Rustは自己責任で使用するものです: unsafeコードを誤って使用したら、
 nullポインタ参照外しなどのメモリ非安全に起因する問題が起こることもあるのです。
 
 <!--
@@ -55,13 +57,13 @@ Rustがunsafeな処理を行わせてくれなかったら、特定の仕事を
 
 <!--
 To switch to unsafe Rust, use the `unsafe` keyword and then start a new block
-that holds the unsafe code. You can take four actions in unsafe Rust, called
-*unsafe superpowers*, that you can’t in safe Rust. Those superpowers include
-the ability to:
+that holds the unsafe code. You can take five actions in unsafe Rust that you
+can’t in safe Rust, which we call *unsafe superpowers*. Those superpowers
+include the ability to:
 -->
 
 unsafe Rustに切り替えるには、`unsafe`キーワードを使用し、それからunsafeコードを保持する新しいブロックを開始してください。
-safe Rustでは行えない4つの行動をunsafe Rustでは行え、これは*unsafe superpowers*と呼ばれます。
+safe Rustでは行えない5つの行動をunsafe Rustでは行うことができ、これは*unsafe superpowers*と呼ばれます。
 そのsuperpowerには、以下の能力が含まれています:
 
 <!--
@@ -69,23 +71,25 @@ safe Rustでは行えない4つの行動をunsafe Rustでは行え、これは*u
 * Call an unsafe function or method
 * Access or modify a mutable static variable
 * Implement an unsafe trait
+* Access fields of `union`s
 -->
 
 * 生ポインタを参照外しすること
 * unsafeな関数やメソッドを呼ぶこと
 * 可変で静的な変数にアクセスしたり変更すること
 * unsafeなトレイトを実装すること
+* `union`のフィールドにアクセスすること
 
 <!--
 It’s important to understand that `unsafe` doesn’t turn off the borrow checker
 or disable any other of Rust’s safety checks: if you use a reference in unsafe
 code, it will still be checked. The `unsafe` keyword only gives you access to
-these four features that are then not checked by the compiler for memory
-safety. You'll still get some degree of safety inside of an unsafe block.
+these five features that are then not checked by the compiler for memory
+safety. You’ll still get some degree of safety inside of an unsafe block.
 -->
 
 `unsafe`は、借用チェッカーや他のRustの安全性チェックを無効にしないことを理解するのは重要なことです:
-unsafeコードで参照を使用しても、チェックはされます。`unsafe`キーワードにより、これら4つの機能にアクセスできるようになり、
+unsafeコードで参照を使用しても、チェックはされます。`unsafe`キーワードにより、これら5つの機能にアクセスできるようになり、
 その場合、コンパイラによってこれらのメモリ安全性は確認されないのです。unsafeブロック内でも、ある程度の安全性は得られます。
 
 <!--
@@ -99,14 +103,14 @@ access memory in a valid way.
 その意図は、プログラマとして`unsafe`ブロック内のコードがメモリに合法的にアクセスすることを保証することです。
 
 <!--
-People are fallible, and mistakes will happen, but by requiring these four
+People are fallible, and mistakes will happen, but by requiring these five
 unsafe operations to be inside blocks annotated with `unsafe` you’ll know that
 any errors related to memory safety must be within an `unsafe` block. Keep
 `unsafe` blocks small; you’ll be thankful later when you investigate memory
 bugs.
 -->
 
-人間は失敗をするもので、間違いも起きますが、これら4つのunsafeな処理を`unsafe`で注釈されたブロックに入れる必要があることで、
+人間は失敗をするもので、間違いも起きますが、これら5つのunsafeな処理を`unsafe`で注釈されたブロックに入れる必要があることで、
 メモリ安全性に関するどんなエラーも`unsafe`ブロック内にあるに違いないと知ります。`unsafe`ブロックは小さくしてください;
 メモリのバグを調査するときに感謝することになるでしょう。
 
@@ -128,11 +132,11 @@ unsafeなコードをできるだけ分離するために、unsafeなコード
 安全な抽象を使用することは、安全だからです。
 
 <!--
-Let’s look at each of the four unsafe superpowers in turn. We’ll also look at
+Let’s look at each of the five unsafe superpowers in turn. We’ll also look at
 some abstractions that provide a safe interface to unsafe code.
 -->
 
-4つのunsafeなsuperpowerを順に見ていきましょう。unsafeなコードへの安全なインターフェイスを提供する一部の抽象化にも目を向けます。
+5つのunsafeなsuperpowerを順に見ていきましょう。unsafeなコードへの安全なインターフェイスを提供する一部の抽象化にも目を向けます。
 
 <!--
 ### Dereferencing a Raw Pointer
@@ -141,16 +145,17 @@ some abstractions that provide a safe interface to unsafe code.
 ### 生ポインタを参照外しする
 
 <!--
-In Chapter 4, in the “Dangling References” section, we mentioned that the
-compiler ensures references are always valid. Unsafe Rust has two new types
-called *raw pointers* that are similar to references. As with references, raw
-pointers can be immutable or mutable and are written as `*const T` and `*mut
-T`, respectively. The asterisk isn’t the dereference operator; it’s part of the
-type name. In the context of raw pointers, *immutable* means that the pointer
-can’t be directly assigned to after being dereferenced.
+In Chapter 4, in the [“Dangling References”][dangling-references]
+section, we mentioned that the compiler ensures references are always
+valid. Unsafe Rust has two new types called *raw pointers* that are similar to
+references. As with references, raw pointers can be immutable or mutable and
+are written as `*const T` and `*mut T`, respectively. The asterisk isn’t the
+dereference operator; it’s part of the type name. In the context of raw
+pointers, *immutable* means that the pointer can’t be directly assigned to
+after being dereferenced.
 -->
 
-第4章の「ダングリング参照」節で、コンパイラは、参照が常に有効であることを保証することに触れました。
+第4章の[「宙に浮いた参照」][dangling-references]節で、コンパイラは、参照が常に有効であることを保証することに触れました。
 unsafe Rustには参照に類似した*生ポインタ*と呼ばれる2つの新しい型があります。参照同様、
 生ポインタも不変や可変になり得て、それぞれ`*const T`と`*mut T`と表記されます。このアスタリスクは、参照外し演算子ではありません;
 型名の一部です。生ポインタの文脈では、*不変*は、参照外し後に直接ポインタに代入できないことを意味します。
@@ -163,7 +168,7 @@ Different from references and smart pointers, raw pointers:
 
 <!--
 * Are allowed to ignore the borrowing rules by having both immutable and
-mutable pointers or multiple mutable pointers to the same location
+  mutable pointers or multiple mutable pointers to the same location
 * Aren’t guaranteed to point to valid memory
 * Are allowed to be null
 * Don’t implement any automatic cleanup
@@ -176,7 +181,7 @@ mutable pointers or multiple mutable pointers to the same location
 
 <!--
 By opting out of having Rust enforce these guarantees, you can give up
-the guaranteed safety in exchange for greater performance or the ability to
+guaranteed safety in exchange for greater performance or the ability to
 interface with another language or hardware where Rust’s guarantees don’t apply.
 -->
 
@@ -191,10 +196,7 @@ references.
 リスト19-1は、参照から不変と可変な生ポインタを生成する方法を示しています。
 
 ```rust
-let mut num = 5;
-
-let r1 = &num as *const i32;
-let r2 = &mut num as *mut i32;
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-01/src/main.rs:here}}
 ```
 
 <!--
@@ -225,22 +227,22 @@ pointer.
 その前提をあらゆる生ポインタに敷くことはできません。
 
 <!--
-Next, we’ll create a raw pointer whose validity we can’t be so certain of.
-Listing 19-2 shows how to create a raw pointer to an arbitrary location in
-memory. Trying to use arbitrary memory is undefined: there might be data at
-that address or there might not, the compiler might optimize the code so there
-is no memory access, or the program might error with a segmentation fault.
-Usually, there is no good reason to write code like this, but it is possible.
+To demonstrate this, next we’ll create a raw pointer whose validity we can’t be
+so certain of. Listing 19-2 shows how to create a raw pointer to an arbitrary
+location in memory. Trying to use arbitrary memory is undefined: there might be
+data at that address or there might not, the compiler might optimize the code
+so there is no memory access, or the program might error with a segmentation
+fault. Usually, there is no good reason to write code like this, but it is
+possible.
 -->
 
-次に、有効であることが確信できない生ポインタを生成します。リスト19-2は、メモリの任意の箇所を指す生ポインタの生成法を示しています。
+これを示すために、次は、有効であることが確信できない生ポインタを生成します。リスト19-2は、メモリの任意の箇所を指す生ポインタの生成法を示しています。
 任意のメモリを使用しようとすることは未定義です: そのアドレスにデータがある可能性もあるし、ない可能性もあり、
 コンパイラがコードを最適化してメモリアクセスがなくなる可能性もあるし、プログラムがセグメンテーションフォールトでエラーになる可能性もあります。
 通常、このようなコードを書くいい理由はありませんが、可能ではあります。
 
 ```rust
-let address = 0x012345usize;
-let r = address as *const i32;
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-02/src/main.rs:here}}
 ```
 
 <!--
@@ -260,15 +262,7 @@ safeコードで生ポインタを生成できるけれども、生ポインタ
 リスト19-3では、`unsafe`ブロックが必要になる参照外し演算子の`*`を生ポインタに使っています。
 
 ```rust
-let mut num = 5;
-
-let r1 = &num as *const i32;
-let r2 = &mut num as *mut i32;
-
-unsafe {
-    println!("r1 is: {}", *r1);
-    println!("r2 is: {}", *r2);
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-03/src/main.rs:here}}
 ```
 
 <!--
@@ -306,13 +300,15 @@ Rustの所有権規則により、不変参照と可変参照を同時に存在
 <!--
 With all of these dangers, why would you ever use raw pointers? One major use
 case is when interfacing with C code, as you’ll see in the next section,
-“Calling an Unsafe Function or Method.” Another case is when building up safe
-abstractions that the borrow checker doesn’t understand. We’ll introduce unsafe
-functions and then look at an example of a safe abstraction that uses unsafe
-code.
+[“Calling an Unsafe Function or
+Method.”](#calling-an-unsafe-function-or-method) Another case is
+when building up safe abstractions that the borrow checker doesn’t understand.
+We’ll introduce unsafe functions and then look at an example of a safe
+abstraction that uses unsafe code.
 -->
 
-これらの危険がありながら、一体何故生ポインタを使うのでしょうか？主なユースケースの1つは、次の節「unsafeな関数やメソッドを呼ぶ」で見るように、
+これらの危険がありながら、一体何故生ポインタを使うのでしょうか？主なユースケースの1つは、
+次の節[「unsafeな関数やメソッドを呼ぶ」](#unsafeな関数やメソッドを呼ぶ)で見るように、
 Cコードとのインターフェイスです。別のユースケースは、借用チェッカーには理解できない安全な抽象を構成する時です。
 unsafeな関数を導入し、それからunsafeコードを使用する安全な抽象の例に目を向けます。
 
@@ -323,17 +319,17 @@ unsafeな関数を導入し、それからunsafeコードを使用する安全
 ### unsafeな関数やメソッドを呼ぶ
 
 <!--
-The second type of operation that requires an unsafe block is calls to unsafe
-functions. Unsafe functions and methods look exactly like regular functions and
-methods, but they have an extra `unsafe` before the rest of the definition. The
-`unsafe` keyword in this context indicates the function has requirements we
-need to uphold when we call this function, because Rust can’t guarantee we’ve
-met these requirements. By calling an unsafe function within an `unsafe` block,
-we’re saying that we’ve read this function’s documentation and take
-responsibility for upholding the function’s contracts.
+The second type of operation you can perform in an unsafe block is calling
+unsafe functions. Unsafe functions and methods look exactly like regular
+functions and methods, but they have an extra `unsafe` before the rest of the
+definition. The `unsafe` keyword in this context indicates the function has
+requirements we need to uphold when we call this function, because Rust can’t
+guarantee we’ve met these requirements. By calling an unsafe function within an
+`unsafe` block, we’re saying that we’ve read this function’s documentation and
+take responsibility for upholding the function’s contracts.
 -->
 
-unsafeブロックが必要になる2番目の処理は、unsafe関数の呼び出しです。unsafeな関数やメソッドも見た目は、
+unsafeブロック内で行うことができる2番目の処理は、unsafe関数の呼び出しです。unsafeな関数やメソッドも見た目は、
 普通の関数やメソッドと全く同じですが、残りの定義の前に追加の`unsafe`があります。この文脈での`unsafe`キーワードは、
 この関数を呼ぶ際に保持しておく必要のある要求が関数にあることを示唆します。コンパイラには、
 この要求を満たしているか保証できないからです。`unsafe`ブロックでunsafeな関数を呼び出すことで、
@@ -347,11 +343,7 @@ body:
 こちらは、本体で何もしない`dangerous`というunsafeな関数です:
 
 ```rust
-unsafe fn dangerous() {}
-
-unsafe {
-    dangerous();
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-01-unsafe-fn/src/main.rs:here}}
 ```
 
 <!--
@@ -362,23 +354,17 @@ try to call `dangerous` without the `unsafe` block, we’ll get an error:
 個別の`unsafe`ブロックで`dangerous`関数を呼ばなければなりません。`unsafe`ブロックなしで`dangerous`を呼ぼうとすれば、
 エラーになるでしょう:
 
-```text
-error[E0133]: call to unsafe function requires unsafe function or block
-(エラー: unsafe関数の呼び出しには、unsafeな関数かブロックが必要です)
- -->
-  |
-4 |     dangerous();
-  |     ^^^^^^^^^^^ call to unsafe function
+```console
+{{#include ../listings/ch19-advanced-features/output-only-01-missing-unsafe/output.txt}}
 ```
 
 <!--
-By inserting the `unsafe` block around our call to `dangerous`, we’re asserting
-to Rust that we’ve read the function’s documentation, we understand how to use
-it properly, and we’ve verified that we’re fulfilling the contract of the
-function.
+With the `unsafe` block, we’re asserting to Rust that we’ve read the function’s
+documentation, we understand how to use it properly, and we’ve verified that
+we’re fulfilling the contract of the function.
 -->
 
-`dangerous`への呼び出しの周りに`unsafe`ブロックを挿入することで、コンパイラに関数のドキュメンテーションを読み、
+`unsafe`ブロックを使うことで、コンパイラに関数のドキュメンテーションを読み、
 適切に使用する方法を理解したことをアサートし、関数の契約を満たしていると実証しました。
 
 <!--
@@ -399,28 +385,22 @@ unsafe関数の本体は、実効的に`unsafe`ブロックになるので、uns
 <!--
 Just because a function contains unsafe code doesn’t mean we need to mark the
 entire function as unsafe. In fact, wrapping unsafe code in a safe function is
-a common abstraction. As an example, let’s study a function from the standard
-library, `split_at_mut`, that requires some unsafe code and explore how we
-might implement it. This safe method is defined on mutable slices: it takes one
-slice and makes it two by splitting the slice at the index given as an
+a common abstraction. As an example, let’s study the `split_at_mut` function
+from the standard library, which requires some unsafe code. We’ll explore how
+we might implement it. This safe method is defined on mutable slices: it takes
+one slice and makes it two by splitting the slice at the index given as an
 argument. Listing 19-4 shows how to use `split_at_mut`.
 -->
 
 関数がunsafeなコードを含んでいるだけで関数全体をunsafeでマークする必要があることにはなりません。
 事実、安全な関数でunsafeなコードをラップすることは一般的な抽象化です。例として、
-なんらかのunsafeコードが必要になる標準ライブラリの関数`split_at_mut`を学び、その実装方法を探究しましょう。
+なんらかのunsafeコードが必要になる標準ライブラリの`split_at_mut`関数を学びましょう。
+どのように実装することができるのかを探究します。
 この安全なメソッドは、可変なスライスに定義されています: スライスを1つ取り、引数で与えられた添え字でスライスを分割して2つにします。
 リスト19-4は、`split_at_mut`の使用法を示しています。
 
 ```rust
-let mut v = vec![1, 2, 3, 4, 5, 6];
-
-let r = &mut v[..];
-
-let (a, b) = r.split_at_mut(3);
-
-assert_eq!(a, &mut [1, 2, 3]);
-assert_eq!(b, &mut [4, 5, 6]);
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-04/src/main.rs:here}}
 ```
 
 <!--
@@ -440,15 +420,8 @@ of `i32` values rather than for a generic type `T`.
 この関数をsafe Rustだけを使用して実装することはできません。試みは、リスト19-5のようになる可能性がありますが、コンパイルできません。
 簡単のため、`split_at_mut`をメソッドではなく関数として実装し、ジェネリックな型`T`ではなく、`i32`のスライス用に実装します。
 
-```rust,ignore
-fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
-    let len = slice.len();
-
-    assert!(mid <= len);
-
-    (&mut slice[..mid],
-     &mut slice[mid..])
-}
+```rust,ignore,does_not_compile
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-05/src/main.rs:here}}
 ```
 
 <!--
@@ -462,12 +435,12 @@ fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
 This function first gets the total length of the slice. Then it asserts that
 the index given as a parameter is within the slice by checking whether it’s
 less than or equal to the length. The assertion means that if we pass an index
-that is greater than the index to split the slice at, the function will panic
+that is greater than the length to split the slice at, the function will panic
 before it attempts to use that index.
 -->
 
 この関数はまず、スライスの全体の長さを得ます。それから引数で与えられた添え字が長さ以下であるかを確認してスライス内にあることをアサートします。
-このアサートは、スライスを分割する添え字よりも大きい添え字を渡したら、その添え字を使用しようとする前に関数がパニックすることを意味します。
+このアサートは、スライスを分割するために長さよりも大きい添え字を渡したら、その添え字を使用しようとする前に関数がパニックすることを意味します。
 
 <!--
 Then we return two mutable slices in a tuple: one from the start of the
@@ -484,17 +457,8 @@ When we try to compile the code in Listing 19-5, we’ll get an error.
 
 リスト19-5のコードのコンパイルを試みると、エラーになるでしょう。
 
-```text
-error[E0499]: cannot borrow `*slice` as mutable more than once at a time
-(エラー: 一度に2回以上、`*slice`を可変で借用できません)
- -->
-  |
-6 |     (&mut slice[..mid],
-  |           ----- first mutable borrow occurs here
-7 |      &mut slice[mid..])
-  |           ^^^^^ second mutable borrow occurs here
-8 | }
-  | - first borrow ends here
+```console
+{{#include ../listings/ch19-advanced-features/listing-19-05/output.txt}}
 ```
 
 <!--
@@ -518,19 +482,7 @@ to unsafe functions to make the implementation of `split_at_mut` work.
 リスト19-6は`unsafe`ブロック、生ポインタ、unsafe関数への呼び出しをして`split_at_mut`の実装が動くようにする方法を示しています。
 
 ```rust
-use std::slice;
-
-fn split_at_mut(slice: &mut [i32], mid: usize) -> (&mut [i32], &mut [i32]) {
-    let len = slice.len();
-    let ptr = slice.as_mut_ptr();
-
-    assert!(mid <= len);
-
-    unsafe {
-        (slice::from_raw_parts_mut(ptr, mid),
-         slice::from_raw_parts_mut(ptr.offset(mid as isize), len - mid))
-    }
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-06/src/main.rs:here}}
 ```
 
 <!--
@@ -541,15 +493,15 @@ the `split_at_mut` function</span>
 <span class="caption">リスト19-6: `split_at_mut`関数の実装でunsafeコードを使用する</span>
 
 <!--
-Recall from “The Slice Type” section in Chapter 4 that slices are a pointer to
-some data and the length of the slice. We use the `len` method to get the
-length of a slice and the `as_mut_ptr` method to access the raw pointer of a
-slice. In this case, because we have a mutable slice to `i32` values,
-`as_mut_ptr` returns a raw pointer with the type `*mut i32`, which we’ve stored
-in the variable `ptr`.
+Recall from [“The Slice Type”][the-slice-type] section in
+Chapter 4 that slices are a pointer to some data and the length of the slice.
+We use the `len` method to get the length of a slice and the `as_mut_ptr`
+method to access the raw pointer of a slice. In this case, because we have a
+mutable slice to `i32` values, `as_mut_ptr` returns a raw pointer with the type
+`*mut i32`, which we’ve stored in the variable `ptr`.
 -->
 
-第4章の「スライス型」節から、スライスはなんらかのデータへのポインタとスライスの長さであることを思い出してください。
+第4章の[「スライス型」][the-slice-type]節から、スライスはなんらかのデータへのポインタとスライスの長さであることを思い出してください。
 `len`メソッドを使用してスライスの長さを得て、`as_mut_ptr`メソッドを使用してスライスの生ポインタにアクセスしています。
 この場合、`i32`値の可変スライスがあるので、`as_mut_ptr`は型`*mut i32`の生ポインタを返し、これを変数`ptr`に格納しました。
 
@@ -557,7 +509,7 @@ in the variable `ptr`.
 We keep the assertion that the `mid` index is within the slice. Then we get to
 the unsafe code: the `slice::from_raw_parts_mut` function takes a raw pointer
 and a length, and it creates a slice. We use this function to create a slice
-that starts from `ptr` and is `mid` items long. Then we call the `offset`
+that starts from `ptr` and is `mid` items long. Then we call the `add`
 method on `ptr` with `mid` as an argument to get a raw pointer that starts at
 `mid`, and we create a slice using that pointer and the remaining number of
 items after `mid` as the length.
@@ -565,15 +517,15 @@ items after `mid` as the length.
 
 `mid`添え字がスライス内にあるかというアサートを残しています。そして、unsafeコードに到達します:
 `slice::from_raw_parts_mut`関数は、生ポインタと長さを取り、スライスを生成します。この関数を使って、
-`ptr`から始まり、`mid`の長さのスライスを生成しています。それから`ptr`に`mid`を引数として`offset`メソッドを呼び出し、
+`ptr`から始まり、`mid`の長さのスライスを生成しています。それから`ptr`に`mid`を引数として`add`メソッドを呼び出し、
 `mid`で始まる生ポインタを得て、そのポインタと`mid`の後の残りの要素数を長さとして使用してスライスを生成しています。
 
 <!--
 The function `slice::from_raw_parts_mut` is unsafe because it takes a raw
-pointer and must trust that this pointer is valid. The `offset` method on raw
+pointer and must trust that this pointer is valid. The `add` method on raw
 pointers is also unsafe, because it must trust that the offset location is also
 a valid pointer. Therefore, we had to put an `unsafe` block around our calls to
-`slice::from_raw_parts_mut` and `offset` so we could call them. By looking at
+`slice::from_raw_parts_mut` and `add` so we could call them. By looking at
 the code and by adding the assertion that `mid` must be less than or equal to
 `len`, we can tell that all the raw pointers used within the `unsafe` block
 will be valid pointers to data within the slice. This is an acceptable and
@@ -581,8 +533,8 @@ appropriate use of `unsafe`.
 -->
 
 関数`slice::from_raw_parts_mut`は、unsafeです。何故なら、生ポインタを取り、このポインタが有効であることを信用しなければならないからです。
-生ポインタの`offset`メソッドもunsafeです。オフセット位置もまた有効なポインタであることを信用しなければならないからです。
-故に、`slice::from_raw_parts_mut`と`offset`を呼べるように、その呼び出しの周りに`unsafe`ブロックを置かなければならなかったのです。
+生ポインタの`add`メソッドもunsafeです。オフセット位置もまた有効なポインタであることを信用しなければならないからです。
+故に、`slice::from_raw_parts_mut`と`add`を呼べるように、その呼び出しの周りに`unsafe`ブロックを置かなければならなかったのです。
 コードを眺めて`mid`が`len`以下でなければならないとするアサートを追加することで、
 `unsafe`ブロック内で使用されている生ポインタが全てスライス内のデータへの有効なポインタであることがわかります。
 これは、受け入れられ、適切な`unsafe`の使用法です。
@@ -602,21 +554,14 @@ data this function has access to.
 <!--
 In contrast, the use of `slice::from_raw_parts_mut` in Listing 19-7 would
 likely crash when the slice is used. This code takes an arbitrary memory
-location and creates a slice 10,000 items long:
+location and creates a slice 10,000 items long.
 -->
 
 対照的に、リスト19-7の`slice::from_raw_parts_mut`の使用は、スライスが使用されるとクラッシュする可能性が高いでしょう。
-このコードは任意のメモリアドレスを取り、10,000要素の長さのスライスを生成します:
+このコードは任意のメモリアドレスを取り、10,000要素の長さのスライスを生成します。
 
 ```rust
-use std::slice;
-
-let address = 0x012345usize;
-let r = address as *mut i32;
-
-let slice = unsafe {
-    slice::from_raw_parts_mut(r, 10000)
-};
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-07/src/main.rs:here}}
 ```
 
 <!--
@@ -629,11 +574,11 @@ location</span>
 <!--
 We don’t own the memory at this arbitrary location, and there is no guarantee
 that the slice this code creates contains valid `i32` values. Attempting to use
-`slice` as though it’s a valid slice results in undefined behavior.
+`values` as though it’s a valid slice results in undefined behavior.
 -->
 
 この任意の場所のメモリは所有していなく、このコードが生成するスライスに有効な`i32`値が含まれる保証もありません。
-`slice`を有効なスライスであるかのように使用しようとすると、未定義動作に陥ります。
+`values`を有効なスライスであるかのように使用しようとすると、未定義動作に陥ります。
 
 <!--
 #### Using `extern` Functions to Call External Code
@@ -643,7 +588,7 @@ that the slice this code creates contains valid `i32` values. Attempting to use
 
 <!--
 Sometimes, your Rust code might need to interact with code written in another
-language. For this, Rust has a keyword, `extern`, that facilitates the creation
+language. For this, Rust has the keyword `extern` that facilitates the creation
 and use of a *Foreign Function Interface (FFI)*. An FFI is a way for a
 programming language to define functions and enable a different (foreign)
 programming language to call those functions.
@@ -674,16 +619,7 @@ responsibility falls on the programmer to ensure safety.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-extern "C" {
-    fn abs(input: i32) -> i32;
-}
-
-fn main() {
-    unsafe {
-        // -3の絶対値は、Cによると{}
-        println!("Absolute value of -3 according to C: {}", abs(-3));
-    }
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-08/src/main.rs}}
 ```
 
 <!--
@@ -709,15 +645,15 @@ ABIは関数の呼び出し方法をアセンブリレベルで定義します
 > #### Calling Rust Functions from Other Languages
 >
 > We can also use `extern` to create an interface that allows other languages
-> to call Rust functions. Instead of an `extern` block, we add the `extern`
-> keyword and specify the ABI to use just before the `fn` keyword. We also need
-> to add a `#[no_mangle]` annotation to tell the Rust compiler not to mangle
-> the name of this function. *Mangling* is when a compiler changes the name
-> we’ve given a function to a different name that contains more information for
-> other parts of the compilation process to consume but is less human readable.
-> Every programming language compiler mangles names slightly differently, so
-> for a Rust function to be nameable by other languages, we must disable the
-> Rust compiler’s name mangling.
+> to call Rust functions. Instead of creating a whole `extern` block, we add
+> the `extern` keyword and specify the ABI to use just before the `fn` keyword
+> for the relevant function. We also need to add a `#[no_mangle]` annotation to
+> tell the Rust compiler not to mangle the name of this function. *Mangling* is
+> when a compiler changes the name we’ve given a function to a different name
+> that contains more information for other parts of the compilation process to
+> consume but is less human readable. Every programming language compiler
+> mangles names slightly differently, so for a Rust function to be nameable by
+> other languages, we must disable the Rust compiler’s name mangling.
 >
 > In the following example, we make the `call_from_c` function accessible from
 > C code, after it’s compiled to a shared library and linked from C:
@@ -735,7 +671,7 @@ ABIは関数の呼び出し方法をアセンブリレベルで定義します
 > #### 他の言語からRustの関数を呼び出す
 >
 > また、`extern`を使用して他の言語にRustの関数を呼ばせるインターフェイスを生成することもできます。
-> `extern`ブロックの代わりに、`extern`キーワードを追加し、`fn`キーワードの直前に使用するABIを指定します。
+> `extern`ブロックを作る代わりに、`extern`キーワードを追加し、対象の関数の`fn`キーワードの直前に使用するABIを指定します。
 > さらに、`#[no_mangle]`注釈を追加してRustコンパイラに関数名をマングルしないように指示する必要もあります。
 > *マングル*とは、コンパイラが関数に与えた名前を他のコンパイル過程の情報をより多く含むけれども、人間に読みにくい異なる名前にすることです。
 > 全ての言語のコンパイラは、少々異なる方法でマングルを行うので、Rustの関数が他の言語で名前付けできるように、
@@ -760,12 +696,12 @@ ABIは関数の呼び出し方法をアセンブリレベルで定義します
 ### 可変で静的な変数にアクセスしたり、変更する
 
 <!--
-Until now, we’ve not talked about *global variables*, which Rust does support
-but can be problematic with Rust’s ownership rules. If two threads are
+In this book, we’ve not yet talked about *global variables*, which Rust does
+support but can be problematic with Rust’s ownership rules. If two threads are
 accessing the same mutable global variable, it can cause a data race.
 -->
 
-今までずっと、*グローバル変数*について語りませんでした。グローバル変数をRustは確かにサポートしていますが、
+この本では、まだ*グローバル変数*について語っていませんでした。グローバル変数をRustは確かにサポートしていますが、
 Rustの所有権規則で問題になることもあります。2つのスレッドが同じ可変なグローバル変数にアクセスしていたら、
 データ競合を起こすこともあります。
 
@@ -785,12 +721,7 @@ Rustでは、グローバル変数は、*static*(静的)変数と呼ばれます
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-static HELLO_WORLD: &str = "Hello, world!";
-
-fn main() {
-	// 名前は: {}
-    println!("name is: {}", HELLO_WORLD);
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-09/src/main.rs}}
 ```
 
 <!--
@@ -802,39 +733,35 @@ variable</span>
 
 <!--
 Static variables are similar to constants, which we discussed in the
-“Differences Between Variables and Constants” section in Chapter 3. The names
-of static variables are in `SCREAMING_SNAKE_CASE` by convention, and we *must*
-annotate the variable’s type, which is `&'static str` in this example. Static
-variables can only store references with the `'static` lifetime, which means
-the Rust compiler can figure out the lifetime; we don’t need to annotate it
-explicitly. Accessing an immutable static variable is safe.
--->
-
-静的変数は、定数に似ています。定数については、第3章の「変数と定数の違い」節で議論しました。
-静的変数の名前は慣習で`SCREAMING_SNAKE_CASE`(`直訳`: 叫ぶスネークケース)になり、変数の型を注釈し*なければなりません*。
-この例では`&'static str`です。静的変数は、`'static`ライフタイムの参照のみ格納でき、
-これは、Rustコンパイラがライフタイムを推量できることを意味します; 明示的に注釈する必要はありません。
+[“Differences Between Variables and
+Constants”][differences-between-variables-and-constants] section
+in Chapter 3. The names of static variables are in `SCREAMING_SNAKE_CASE` by
+convention. Static variables can only store references with the `'static`
+lifetime, which means the Rust compiler can figure out the lifetime and we
+aren’t required to annotate it explicitly. Accessing an immutable static
+variable is safe.
+-->
+
+静的変数は、定数に似ています。定数については、第3章の[「変数と定数の違い」][differences-between-variables-and-constants]節で議論しました。
+静的変数の名前は慣習で`SCREAMING_SNAKE_CASE`(`直訳`: 叫ぶスネークケース)になります。
+静的変数は`'static`ライフタイムの参照のみ格納でき、
+これは、Rustコンパイラがライフタイムを推量でき、明示的に注釈する必要はないことを意味します。
 不変で静的な変数にアクセスすることは安全です。
 
 <!--
-Constants and immutable static variables might seem similar, but a subtle
-difference is that values in a static variable have a fixed address in memory.
-Using the value will always access the same data. Constants, on the other hand,
-are allowed to duplicate their data whenever they’re used.
--->
-
-定数と不変で静的な変数は、類似して見える可能性がありますが、微妙な差異は、
-静的変数の値は固定されたメモリアドレスになることです。値を使用すると、常に同じデータにアクセスします。
-一方、定数は使用される度にデータを複製させることができます。
-
-<!--
-Another difference between constants and static variables is that static
+A subtle difference between constants and immutable static variables is that
+values in a static variable have a fixed address in memory. Using the value
+will always access the same data. Constants, on the other hand, are allowed to
+duplicate their data whenever they’re used. Another difference is that static
 variables can be mutable. Accessing and modifying mutable static variables is
 *unsafe*. Listing 19-10 shows how to declare, access, and modify a mutable
 static variable named `COUNTER`.
 -->
 
-定数と静的変数の別の違いは、静的変数は可変にもなることです。可変で静的な変数にアクセスし変更することは、unsafeです。
+定数と不変で静的な変数との微妙な差異は、
+静的変数の値は固定されたメモリアドレスになることです。値を使用すると、常に同じデータにアクセスします。
+一方、定数は使用される度にデータを複製させることができます。
+別の違いは、静的変数は可変にもなることです。可変で静的な変数にアクセスし変更することは、unsafeです。
 リスト19-10は、`COUNTER`という可変で静的な変数を宣言し、アクセスし、変更する方法を表示しています。
 
 <!--
@@ -844,21 +771,7 @@ static variable named `COUNTER`.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-static mut COUNTER: u32 = 0;
-
-fn add_to_count(inc: u32) {
-    unsafe {
-        COUNTER += inc;
-    }
-}
-
-fn main() {
-    add_to_count(3);
-
-    unsafe {
-        println!("COUNTER: {}", COUNTER);
-    }
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-10/src/main.rs}}
 ```
 
 <!--
@@ -899,27 +812,20 @@ Rustは可変で静的な変数をunsafeと考えるのです。可能なら、
 ### unsafeなトレイトを実装する
 
 <!--
-The final action that works only with `unsafe` is implementing an unsafe trait.
-A trait is unsafe when at least one of its methods has some invariant that the
-compiler can’t verify. We can declare that a trait is `unsafe` by adding the
-`unsafe` keyword before `trait` and marking the implementation of the trait as
-`unsafe` too, as shown in Listing 19-11.
+We can use `unsafe` to implement an unsafe trait. A trait is unsafe when at
+least one of its methods has some invariant that the compiler can’t verify. We
+declare that a trait is `unsafe` by adding the `unsafe` keyword before `trait`
+and marking the implementation of the trait as `unsafe` too, as shown in
+Listing 19-11.
 -->
 
-`unsafe`でのみ動く最後の行動は、unsafeなトレイトを実装することです。少なくとも、1つのメソッドにコンパイラが確かめられないなんらかの不変条件があると、
-トレイトはunsafeになります。`trait`の前に`unsafe`キーワードを追加し、トレイトの実装も`unsafe`でマークすることで、
-トレイトが`unsafe`であると宣言できます。リスト19-11のようにですね。
+`unsafe`を使用することで、unsafeなトレイトを実装することができます。トレイトは、
+そのメソッドのうち少なくとも1つにコンパイラが確かめられないなんらかの不変条件があると、
+unsafeになります。`trait`の前に`unsafe`キーワードを追加し、トレイトの実装も`unsafe`でマークすることで、
+トレイトが`unsafe`であると宣言します。リスト19-11のようにですね。
 
 ```rust
-unsafe trait Foo {
-    // methods go here
-    // メソッドがここに来る
-}
-
-unsafe impl Foo for i32 {
-    // method implementations go here
-    // メソッドの実装がここに来る
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-11/src/main.rs}}
 ```
 
 <!--
@@ -938,23 +844,46 @@ the compiler can’t verify.
 
 <!--
 As an example, recall the `Sync` and `Send` marker traits we discussed in the
-“Extensible Concurrency with the `Sync` and `Send` Traits” section in Chapter
-16: the compiler implements these traits automatically if our types are
-composed entirely of `Send` and `Sync` types. If we implement a type that
-contains a type that is not `Send` or `Sync`, such as raw pointers, and we want
-to mark that type as `Send` or `Sync`, we must use `unsafe`. Rust can’t verify
-that our type upholds the guarantees that it can be safely sent across threads
-or accessed from multiple threads; therefore, we need to do those checks
-manually and indicate as such with `unsafe`.
--->
-
-例として、第16章の「`Sync`と`Send`トレイトで拡張可能な並行性」節で議論した`Sync`と`Send`マーカートレイトを思い出してください:
+[“Extensible Concurrency with the `Sync` and `Send`
+Traits”][extensible-concurrency-with-the-sync-and-send-traits]
+section in Chapter 16: the compiler implements these traits automatically if
+our types are composed entirely of `Send` and `Sync` types. If we implement a
+type that contains a type that is not `Send` or `Sync`, such as raw pointers,
+and we want to mark that type as `Send` or `Sync`, we must use `unsafe`. Rust
+can’t verify that our type upholds the guarantees that it can be safely sent
+across threads or accessed from multiple threads; therefore, we need to do
+those checks manually and indicate as such with `unsafe`.
+-->
+
+例として、第16章の[「`Sync`と`Send`トレイトで拡張可能な並行性」][extensible-concurrency-with-the-sync-and-send-traits]節で議論した`Sync`と`Send`マーカートレイトを思い出してください:
 型が完全に`Send`と`Sync`型だけで構成されていたら、コンパイラはこれらのトレイトを自動的に実装します。
 生ポインタなどの`Send`や`Sync`でない型を含む型を実装し、その型を`Send`や`Sync`でマークしたいなら、
 `unsafe`を使用しなければなりません。コンパイラは、型がスレッド間を安全に送信できたり、
 複数のスレッドから安全にアクセスできるという保証を保持しているか確かめられません; 故に、そのチェックを手動で行い、
 `unsafe`でそのように示唆する必要があります。
 
+<!--
+### Accessing Fields of a Union
+-->
+
+### 共用体のフィールドにアクセスする
+
+<!--
+The final action that works only with `unsafe` is accessing fields of a
+*union*. A `union` is similar to a `struct`, but only one declared field is
+used in a particular instance at one time. Unions are primarily used to
+interface with unions in C code. Accessing union fields is unsafe because Rust
+can’t guarantee the type of the data currently being stored in the union
+instance. You can learn more about unions in [the Rust Reference][reference].
+-->
+
+`unsafe`でのみ動く最後の行動は、*共用体*のフィールドへのアクセスです。
+`union`は`struct`と似ていますが、宣言されたフィールドのうち、特定のインスタンスに対しては1つだけが同時に使用されます。
+共用体は主に、Cコードの共用体とのインターフェースとして使用されます。
+Rustは共用体インスタンスに現在保管されているデータの型を保証することができないので、
+共用体フィールドへのアクセスはunsafeになっています。
+共用体については[Rust Reference][reference]でさらに深く学ぶことができます。
+
 <!--
 ### When to Use Unsafe Code
 -->
@@ -962,14 +891,34 @@ manually and indicate as such with `unsafe`.
 ### いつunsafeコードを使用するべきか
 
 <!--
-Using `unsafe` to take one of the four actions (superpowers) just discussed
+Using `unsafe` to take one of the five actions (superpowers) just discussed
 isn’t wrong or even frowned upon. But it is trickier to get `unsafe` code
 correct because the compiler can’t help uphold memory safety. When you have a
 reason to use `unsafe` code, you can do so, and having the explicit `unsafe`
-annotation makes it easier to track down the source of problems if they occur.
+annotation makes it easier to track down the source of problems when they occur.
 -->
 
-`unsafe`を使って議論したばかりの4つの行動(強大な力)のうちの1つを行うのは間違っていたり、認められさえもしないものではありません。
+`unsafe`を使って議論したばかりの5つの行動(強大な力)のうちの1つを行うのは間違っていたり、認められさえもしないものではありません。
 ですが、`unsafe`コードを正しくするのは、より巧妙なことでしょう。コンパイラがメモリ安全性を保持する手助けをできないからです。
-`unsafe`コードを使用する理由があるなら、そうすることができ、明示的に`unsafe`注釈をすることで問題が起きたら、
+`unsafe`コードを使用する理由があるなら、そうすることができ、明示的に`unsafe`注釈をすることで問題が起きたときに、
 その原因を追求するのが容易になります。
+
+<!--
+[dangling-references]:
+ch04-02-references-and-borrowing.html#dangling-references
+[differences-between-variables-and-constants]:
+ch03-01-variables-and-mutability.html#constants
+[extensible-concurrency-with-the-sync-and-send-traits]:
+ch16-04-extensible-concurrency-sync-and-send.html#extensible-concurrency-with-the-sync-and-send-traits
+[the-slice-type]: ch04-03-slices.html#the-slice-type
+[reference]: ../reference/items/unions.html
+-->
+
+[dangling-references]:
+ch04-02-references-and-borrowing.html#宙に浮いた参照
+[differences-between-variables-and-constants]:
+ch03-01-variables-and-mutability.html#定数
+[extensible-concurrency-with-the-sync-and-send-traits]:
+ch16-04-extensible-concurrency-sync-and-send.html#syncとsendトレイトで拡張可能な並行性
+[the-slice-type]: ch04-03-slices.html#スライス型
+[reference]: https://doc.rust-lang.org/reference/items/unions.html
diff --git a/src/ch19-03-advanced-traits.md b/src/ch19-03-advanced-traits.md
index 5c82711af..437afa856 100644
--- a/src/ch19-03-advanced-traits.md
+++ b/src/ch19-03-advanced-traits.md
@@ -5,13 +5,14 @@
 ## 高度なトレイト
 
 <!--
-We first covered traits in the “Traits: Defining Shared Behavior” section of
-Chapter 10, but as with lifetimes, we didn’t discuss the more advanced details.
-Now that you know more about Rust, we can get into the nitty-gritty.
+We first covered traits in the [“Traits: Defining Shared
+Behavior”][traits-defining-shared-behavior] section of Chapter
+10, but we didn’t discuss the more advanced details. Now that you know more
+about Rust, we can get into the nitty-gritty.
 -->
 
-最初にトレイトについて講義したのは、第10章の「トレイト: 共通の振る舞いを定義する」節でしたが、
-ライフタイム同様、より高度な詳細は議論しませんでした。今や、Rustに詳しくなったので、核心に迫れるでしょう。
+最初にトレイトについて講義したのは、第10章の[「トレイト: 共通の振る舞いを定義する」][traits-defining-shared-behavior]節でしたが、
+より高度な詳細は議論しませんでした。今や、Rustに詳しくなったので、核心に迫れるでしょう。
 
 <!--
 ### Specifying Placeholder Types in Trait Definitions with Associated Types
@@ -22,14 +23,14 @@ Now that you know more about Rust, we can get into the nitty-gritty.
 <!--
 *Associated types* connect a type placeholder with a trait such that the trait
 method definitions can use these placeholder types in their signatures. The
-implementor of a trait will specify the concrete type to be used in this type’s
-place for the particular implementation. That way, we can define a trait that
-uses some types without needing to know exactly what those types are until the
-trait is implemented.
+implementor of a trait will specify the concrete type to be used instead of the
+placeholder type for the particular implementation. That way, we can define a
+trait that uses some types without needing to know exactly what those types are
+until the trait is implemented.
 -->
 
 *関連型*は、トレイトのメソッド定義がシグニチャでプレースホルダーの型を使用できるように、トレイトと型のプレースホルダーを結び付けます。
-トレイトを実装するものがこの特定の実装で型の位置に使用される具体的な型を指定します。そうすることで、
+トレイトを実装するものがこの特定の実装でプレースホルダー型の代わりに使用される具体的な型を指定します。そうすることで、
 なんらかの型を使用するトレイトをトレイトを実装するまでその型が一体なんであるかを知る必要なく定義できます。
 
 <!--
@@ -50,38 +51,33 @@ the other features discussed in this chapter.
 One example of a trait with an associated type is the `Iterator` trait that the
 standard library provides. The associated type is named `Item` and stands in
 for the type of the values the type implementing the `Iterator` trait is
-iterating over. In “The `Iterator` Trait and the `next` Method” section of
-Chapter 13, we mentioned that the definition of the `Iterator` trait is as
-shown in Listing 19-20.
+iterating over. The definition of the `Iterator` trait is as shown in Listing
+19-12.
 -->
 
 関連型があるトレイトの一例は、標準ライブラリが提供する`Iterator`トレイトです。その関連型は`Item`と名付けられ、
-`Iterator`トレイトを実装している型が走査している値の型の代役を務めます。第13章の「`Iterator`トレイトと`next`メソッド」節で、
-`Iterator`トレイトの定義は、リスト19-20に示したようなものであることに触れました。
+`Iterator`トレイトを実装している型が走査している値の型の代役を務めます。
+`Iterator`トレイトの定義は、リスト19-12に示したようなものです。
 
-```rust
-pub trait Iterator {
-    type Item;
-
-    fn next(&mut self) -> Option<Self::Item>;
-}
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-12/src/lib.rs}}
 ```
 
 <!--
-<span class="caption">Listing 19-20: The definition of the `Iterator` trait
+<span class="caption">Listing 19-12: The definition of the `Iterator` trait
 that has an associated type `Item`</span>
 -->
 
-<span class="caption">リスト19-20: 関連型`Item`がある`Iterator`トレイトの定義</span>
+<span class="caption">リスト19-12: 関連型`Item`がある`Iterator`トレイトの定義</span>
 
 <!--
-The type `Item` is a placeholder type, and the `next` method’s definition shows
-that it will return values of type `Option<Self::Item>`. Implementors of the
+The type `Item` is a placeholder, and the `next` method’s definition shows that
+it will return values of type `Option<Self::Item>`. Implementors of the
 `Iterator` trait will specify the concrete type for `Item`, and the `next`
 method will return an `Option` containing a value of that concrete type.
 -->
 
-型`Item`はプレースホルダー型で`next`メソッドの定義は、型`Option<Self::Item>`の値を返すことを示しています。
+型`Item`はプレースホルダーで、`next`メソッドの定義は、型`Option<Self::Item>`の値を返すことを示しています。
 `Iterator`トレイトを実装するものは、`Item`の具体的な型を指定し、`next`メソッドは、
 その具体的な型の値を含む`Option`を返します。
 
@@ -93,20 +89,13 @@ method will return an `Option` containing a value of that concrete type.
 <!--
 Associated types might seem like a similar concept to generics, in that the
 latter allow us to define a function without specifying what types it can
-handle. So why use associated types?
+handle. To examine the difference between the two concepts, we’ll look at an
+implementation of the `Iterator` trait on a type named `Counter` that specifies
+the `Item` type is `u32`:
 -->
 
 関連型は、ジェネリクスにより扱う型を指定せずに関数を定義できるという点でジェネリクスに似た概念のように思える可能性があります。
-では、何故関連型を使用するのでしょうか？
-
-<!--
-Let’s examine the difference between the two concepts with an example from
-Chapter 13 that implements the `Iterator` trait on the `Counter` struct. In
-Listing 13-21, we specified that the `Item` type was `u32`:
--->
-
-2つの概念の違いを第13章から`Counter`構造体に`Iterator`トレイトを実装する例で調査しましょう。
-リスト13-21で、`Item`型は`u32`だと指定しました:
+2つの概念の違いを調査するために、`Counter`という型に対する、`Item`型を`u32`と指定する、`Iterator`トレイトの実装を見てみましょう:
 
 <!--
 <span class="filename">Filename: src/lib.rs</span>
@@ -115,36 +104,30 @@ Listing 13-21, we specified that the `Item` type was `u32`:
 <span class="filename">ファイル名: src/lib.rs</span>
 
 ```rust,ignore
-impl Iterator for Counter {
-    type Item = u32;
-
-    fn next(&mut self) -> Option<Self::Item> {
-        // --snip--
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-22-iterator-on-counter/src/lib.rs:ch19}}
 ```
 
 <!--
 This syntax seems comparable to that of generics. So why not just define the
-`Iterator` trait with generics, as shown in Listing 19-21?
+`Iterator` trait with generics, as shown in Listing 19-13?
 -->
 
-この記法は、ジェネリクスと比較可能に思えます。では、何故単純にリスト19-21のように、
+この記法は、ジェネリクスと比較可能に思えます。では、何故単純にリスト19-13のように、
 `Iterator`トレイトをジェネリクスで定義しないのでしょうか？
 
-```rust
-pub trait Iterator<T> {
-    fn next(&mut self) -> Option<T>;
-}
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-13/src/lib.rs}}
 ```
 
 <!--
-<span class="caption">Listing 19-21: A hypothetical definition of the
+<span class="caption">Listing 19-13: A hypothetical definition of the
 `Iterator` trait using generics</span>
 -->
 
-<span class="caption">リスト19-21: ジェネリクスを使用した架空の`Iterator`トレイトの定義</span>
+<span class="caption">リスト19-13: ジェネリクスを使用した架空の`Iterator`トレイトの定義</span>
 
 <!--
-The difference is that when using generics, as in Listing 19-21, we must
+The difference is that when using generics, as in Listing 19-13, we must
 annotate the types in each implementation; because we can also implement
 `Iterator<String> for Counter` or any other type, we could have multiple
 implementations of `Iterator` for `Counter`. In other words, when a trait has a
@@ -154,7 +137,7 @@ the concrete types of the generic type parameters each time. When we use the
 indicate which implementation of `Iterator` we want to use.
 -->
 
-差異は、リスト19-21のようにジェネリクスを使用すると、各実装で型を注釈しなければならないことです;
+差異は、リスト19-13のようにジェネリクスを使用すると、各実装で型を注釈しなければならないことです;
 `Iterator<String> for Counter`や他のどんな型にも実装することができるので、
 `Counter`の`Iterator`の実装が複数できるでしょう。換言すれば、トレイトにジェネリックな引数があると、
 毎回ジェネリックな型引数の具体的な型を変更してある型に対して複数回実装できるということです。
@@ -162,7 +145,7 @@ indicate which implementation of `Iterator` we want to use.
 
 <!--
 With associated types, we don’t need to annotate types because we can’t
-implement a trait on a type multiple times. In Listing 19-20 with the
+implement a trait on a type multiple times. In Listing 19-12 with the
 definition that uses associated types, we can only choose what the type of
 `Item` will be once, because there can only be one `impl Iterator for Counter`.
 We don’t have to specify that we want an iterator of `u32` values everywhere
@@ -170,10 +153,21 @@ that we call `next` on `Counter`.
 -->
 
 関連型なら、同じ型に対してトレイトを複数回実装できないので、型を注釈する必要はありません。
-関連型を使用する定義があるリスト19-20では、`Item`の型は1回しか選択できませんでした。
+関連型を使用する定義があるリスト19-12では、`Item`の型は1回しか選択できませんでした。
 1つしか`impl Iterator for Counter`がないからです。`Counter`に`next`を呼び出す度に、
 `u32`値のイテレータが欲しいと指定しなくてもよいわけです。
 
+<!--
+Associated types also become part of the trait’s contract: implementors of the
+trait must provide a type to stand in for the associated type placeholder.
+Associated types often have a name that describes how the type will be used,
+and documenting the associated type in the API documentation is good practice.
+-->
+
+関連型もトレイトの契約の一部になります: トレイトの実装者は、関連型プレースホルダーの代わりとなる型を提供しなくてはなりません。
+関連型は、その型がどのように使われることになるかの説明となる名前を持つことが多く、
+APIドキュメンテーションで関連型をドキュメント化するのは良い取り組みです。
+
 <!--
 ### Default Generic Type Parameters and Operator Overloading
 -->
@@ -183,36 +177,35 @@ that we call `next` on `Counter`.
 <!--
 When we use generic type parameters, we can specify a default concrete type for
 the generic type. This eliminates the need for implementors of the trait to
-specify a concrete type if the default type works. The syntax for specifying a
-default type for a generic type is `<PlaceholderType=ConcreteType>` when
-declaring the generic type.
+specify a concrete type if the default type works. You specify a default type
+when declaring a generic type with the `<PlaceholderType=ConcreteType>` syntax.
 -->
 
 ジェネリックな型引数を使用する際、ジェネリックな型に対して既定の具体的な型を指定できます。これにより、
-既定の型が動くのなら、トレイトを実装する側が具体的な型を指定する必要を排除します。ジェネリックな型に既定の型を指定する記法は、
-ジェネリックな型を宣言する際に`<PlaceholderType=ConcreteType>`です。
+既定の型が動くのなら、トレイトを実装する側が具体的な型を指定する必要を排除します。
+ジェネリックな型を宣言する際に、`<PlaceholderType=ConcreteType>`記法で既定の型を指定します。
 
 <!--
-A great example of a situation where this technique is useful is with operator
-overloading. *Operator overloading* is customizing the behavior of an operator
-(such as `+`) in particular situations.
+A great example of a situation where this technique is useful is with *operator
+overloading*, in which you customize the behavior of an operator (such as `+`)
+in particular situations.
 -->
 
-このテクニックが有用になる場面の好例が、演算子オーバーロードです。*演算子オーバーロード*とは、
-特定の状況で演算子(`+`など)の振る舞いをカスタマイズすることです。
+このテクニックが有用になる場面の好例が*演算子オーバーロード*で、
+これにより特定の状況で演算子(`+`など)の振る舞いをカスタマイズします。
 
 <!--
 Rust doesn’t allow you to create your own operators or overload arbitrary
 operators. But you can overload the operations and corresponding traits listed
 in `std::ops` by implementing the traits associated with the operator. For
-example, in Listing 19-22 we overload the `+` operator to add two `Point`
+example, in Listing 19-14 we overload the `+` operator to add two `Point`
 instances together. We do this by implementing the `Add` trait on a `Point`
 struct:
 -->
 
 Rustでは、独自の演算子を作ったり、任意の演算子をオーバーロードすることはできません。しかし、
 演算子に紐づいたトレイトを実装することで`std::ops`に列挙された処理と対応するトレイトをオーバーロードできます。
-例えば、リスト19-22で`+`演算子をオーバーロードして2つの`Point`インスタンスを足し合わせています。
+例えば、リスト19-14で`+`演算子をオーバーロードして2つの`Point`インスタンスを足し合わせています。
 `Point`構造体に`Add`トレイトを実装することでこれを行なっています。
 
 <!--
@@ -222,37 +215,15 @@ Rustでは、独自の演算子を作ったり、任意の演算子をオーバ
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-use std::ops::Add;
-
-#[derive(Debug, PartialEq)]
-struct Point {
-    x: i32,
-    y: i32,
-}
-
-impl Add for Point {
-    type Output = Point;
-
-    fn add(self, other: Point) -> Point {
-        Point {
-            x: self.x + other.x,
-            y: self.y + other.y,
-        }
-    }
-}
-
-fn main() {
-    assert_eq!(Point { x: 1, y: 0 } + Point { x: 2, y: 3 },
-               Point { x: 3, y: 3 });
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-14/src/main.rs}}
 ```
 
 <!--
-<span class="caption">Listing 19-22: Implementing the `Add` trait to overload
+<span class="caption">Listing 19-14: Implementing the `Add` trait to overload
 the `+` operator for `Point` instances</span>
 -->
 
-<span class="caption">リスト19-22: `Add`トレイトを実装して`Point`インスタンス用に`+`演算子をオーバーロードする</span>
+<span class="caption">リスト19-14: `Add`トレイトを実装して`Point`インスタンス用に`+`演算子をオーバーロードする</span>
 
 <!--
 The `add` method adds the `x` values of two `Point` instances and the `y`
@@ -272,49 +243,54 @@ definition:
 このコードの既定のジェネリック型は、`Add`トレイト内にあります。こちらがその定義です:
 
 ```rust
-trait Add<RHS=Self> {
+trait Add<Rhs=Self> {
     type Output;
 
-    fn add(self, rhs: RHS) -> Self::Output;
+    fn add(self, rhs: Rhs) -> Self::Output;
 }
 ```
 
 <!--
 This code should look generally familiar: a trait with one method and an
-associated type. The new part is `RHS=Self`: this syntax is called *default
-type parameters*. The `RHS` generic type parameter (short for “right hand
+associated type. The new part is `Rhs=Self`: this syntax is called *default
+type parameters*. The `Rhs` generic type parameter (short for “right hand
 side”) defines the type of the `rhs` parameter in the `add` method. If we don’t
-specify a concrete type for `RHS` when we implement the `Add` trait, the type
-of `RHS` will default to `Self`, which will be the type we’re implementing
+specify a concrete type for `Rhs` when we implement the `Add` trait, the type
+of `Rhs` will default to `Self`, which will be the type we’re implementing
 `Add` on.
 -->
 
 このコードは一般的に馴染みがあるはずです: 1つのメソッドと関連型が1つあるトレイトです。
-新しい部分は、`RHS=Self`です: この記法は、*デフォルト型引数*と呼ばれます。
-RHSというジェネリックな型引数("right hand side": 右辺の省略形)が、`add`メソッドの`rhs`引数の型を定義しています。
-`Add`トレイトを実装する際に`RHS`の具体的な型を指定しなければ、`RHS`の型は標準で`Self`になり、
+新しい部分は、`Rhs=Self`です: この記法は、*デフォルト型引数*と呼ばれます。
+`Rhs`というジェネリックな型引数("right hand side": 右辺の省略形)が、`add`メソッドの`rhs`引数の型を定義しています。
+`Add`トレイトを実装する際に`Rhs`の具体的な型を指定しなければ、`Rhs`の型は標準で`Self`になり、
 これは`Add`を実装している型になります。
 
 <!--
-When we implemented `Add` for `Point`, we used the default for `RHS` because we
+When we implemented `Add` for `Point`, we used the default for `Rhs` because we
 wanted to add two `Point` instances. Let’s look at an example of implementing
-the `Add` trait where we want to customize the `RHS` type rather than using the
+the `Add` trait where we want to customize the `Rhs` type rather than using the
 default.
 -->
 
-`Point`に`Add`を実装する際、2つの`Point`インスタンスを足したかったので、`RHS`の規定を使用しました。
-既定を使用するのではなく、`RHS`の型をカスタマイズしたくなる`Add`トレイトの実装例に目を向けましょう。
+`Point`に`Add`を実装する際、2つの`Point`インスタンスを足したかったので、`Rhs`の規定を使用しました。
+既定を使用するのではなく、`Rhs`の型をカスタマイズしたくなる`Add`トレイトの実装例に目を向けましょう。
 
 <!--
-We have two structs `Millimeters` and `Meters`, holding values in different
-units. We want to add values in millimeters to values in meters and have the
-implementation of `Add` do the conversion correctly. We can implement `Add` for
-`Millimeters` with `Meters` as the `RHS`, as shown in Listing 19-23.
+We have two structs, `Millimeters` and `Meters`, holding values in different
+units. This thin wrapping of an existing type in another struct is known as the
+*newtype pattern*, which we describe in more detail in the [“Using the Newtype
+Pattern to Implement External Traits on External Types”][newtype]
+section. We want to add values in millimeters to values in meters and have
+the implementation of `Add` do the conversion correctly. We can implement `Add`
+for `Millimeters` with `Meters` as the `Rhs`, as shown in Listing 19-15.
 -->
 
 異なる単位で値を保持する構造体、`Millimeters`と`Meters`(それぞれ`ミリメートル`と`メートル`)が2つあります。
+このように既存の型を別の構造体で薄くラップすることは*ニュータイプパターン*として知られ、
+これについては[「ニュータイプパターンを使用して外部の型に外部のトレイトを実装する」][newtype]節でより詳しく説明します。
 ミリメートルの値をメートルの値に足し、`Add`の実装に変換を正しくしてほしいです。
-`Add`を`RHS`に`Meters`のある`Millimeters`に実装することができます。リスト19-23のように:
+`Add`を`Rhs`に`Meters`のある`Millimeters`に実装することができます。リスト19-23のように:
 
 <!--
 <span class="filename">Filename: src/lib.rs</span>
@@ -322,38 +298,27 @@ implementation of `Add` do the conversion correctly. We can implement `Add` for
 
 <span class="filename">ファイル名: src/lib.rs</span>
 
-```rust
-use std::ops::Add;
-
-struct Millimeters(u32);
-struct Meters(u32);
-
-impl Add<Meters> for Millimeters {
-    type Output = Millimeters;
-
-    fn add(self, other: Meters) -> Millimeters {
-        Millimeters(self.0 + (other.0 * 1000))
-    }
-}
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-15/src/lib.rs}}
 ```
 
 <!--
-<span class="caption">Listing 19-23: Implementing the `Add` trait on
+<span class="caption">Listing 19-15: Implementing the `Add` trait on
 `Millimeters` to add `Millimeters` to `Meters`</span>
 -->
 
-<span class="caption">リスト19-23: `Millimeters`に`Add`トレイトを実装して、`Meters`に`Millimeters`を足す</span>
+<span class="caption">リスト19-15: `Millimeters`に`Add`トレイトを実装して、`Meters`に`Millimeters`を足す</span>
 
 <!--
 To add `Millimeters` and `Meters`, we specify `impl Add<Meters>` to set the
-value of the `RHS` type parameter instead of using the default of `Self`.
+value of the `Rhs` type parameter instead of using the default of `Self`.
 -->
 
 `Millimeters`を`Meters`に足すため、`Self`という既定を使う代わりに`impl Add<Meters>`を指定して、
-`RHS`型引数の値をセットしています。
+`Rhs`型引数の値をセットしています。
 
 <!--
-You'll use default type parameters in two main ways:
+You’ll use default type parameters in two main ways:
 -->
 
 主に2通りの方法でデフォルト型引数を使用します:
@@ -407,15 +372,15 @@ Rustにおいて、別のトレイトのメソッドと同じ名前のメソッ
 トレイトのメソッドと同じ名前のメソッドを直接型に実装することも可能です。
 
 <!--
-When calling methods with the same name, you'll need to tell Rust which one you
-want to use. Consider the code in Listing 19-24 where we’ve defined two traits,
+When calling methods with the same name, you’ll need to tell Rust which one you
+want to use. Consider the code in Listing 19-16 where we’ve defined two traits,
 `Pilot` and `Wizard`, that both have a method called `fly`. We then implement
 both traits on a type `Human` that already has a method named `fly` implemented
 on it. Each `fly` method does something different.
 -->
 
 同じ名前のメソッドを呼ぶ際、コンパイラにどれを使用したいのか教える必要があるでしょう。両方とも`fly`というメソッドがある2つのトレイト、
-`Pilot`と`Wizard`(`訳注`: パイロットと魔法使い)を定義したリスト19-24のコードを考えてください。
+`Pilot`と`Wizard`(`訳注`: パイロットと魔法使い)を定義したリスト19-16のコードを考えてください。
 それから両方のトレイトを既に`fly`というメソッドが実装されている型`Human`(`訳注`: 人間)に実装します。
 各`fly`メソッドは異なることをします。
 
@@ -426,54 +391,25 @@ on it. Each `fly` method does something different.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-trait Pilot {
-    fn fly(&self);
-}
-
-trait Wizard {
-    fn fly(&self);
-}
-
-struct Human;
-
-impl Pilot for Human {
-    fn fly(&self) {
-        // キャプテンのお言葉
-        println!("This is your captain speaking.");
-    }
-}
-
-impl Wizard for Human {
-    fn fly(&self) {
-        // 上がれ！
-        println!("Up!");
-    }
-}
-
-impl Human {
-    fn fly(&self) {
-        // *激しく腕を振る*
-        println!("*waving arms furiously*");
-    }
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-16/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-24: Two traits are defined to have a `fly`
+<span class="caption">Listing 19-16: Two traits are defined to have a `fly`
 method and are implemented on the `Human` type, and a `fly` method is
 implemented on `Human` directly</span>
 -->
 
-<span class="caption">リスト19-24: 2つのトレイトに`fly`があるように定義され、`Human`に実装されつつ、
+<span class="caption">リスト19-16: 2つのトレイトに`fly`があるように定義され、`Human`に実装されつつ、
     `fly`メソッドは`Human`に直接にも実装されている</span>
 
 <!--
 When we call `fly` on an instance of `Human`, the compiler defaults to calling
-the method that is directly implemented on the type, as shown in Listing 19-25.
+the method that is directly implemented on the type, as shown in Listing 19-17.
 -->
 
 `Human`のインスタンスに対して`fly`を呼び出すと、コンパイラは型に直接実装されたメソッドを標準で呼び出します。
-リスト19-25のようにですね:
+リスト19-17のようにですね:
 
 <!--
 <span class="filename">Filename: src/main.rs</span>
@@ -482,46 +418,15 @@ the method that is directly implemented on the type, as shown in Listing 19-25.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-# trait Pilot {
-#     fn fly(&self);
-# }
-#
-# trait Wizard {
-#     fn fly(&self);
-# }
-#
-# struct Human;
-#
-# impl Pilot for Human {
-#     fn fly(&self) {
-#         println!("This is your captain speaking.");
-#     }
-# }
-#
-# impl Wizard for Human {
-#     fn fly(&self) {
-#         println!("Up!");
-#     }
-# }
-#
-# impl Human {
-#     fn fly(&self) {
-#         println!("*waving arms furiously*");
-#     }
-# }
-#
-fn main() {
-    let person = Human;
-    person.fly();
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-17/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-25: Calling `fly` on an instance of
+<span class="caption">Listing 19-17: Calling `fly` on an instance of
 `Human`</span>
 -->
 
-<span class="caption">リスト19-25: `Human`のインスタンスに対して`fly`を呼び出す</span>
+<span class="caption">リスト19-17: `Human`のインスタンスに対して`fly`を呼び出す</span>
 
 <!--
 Running this code will print `*waving arms furiously*`, showing that Rust
@@ -533,12 +438,12 @@ called the `fly` method implemented on `Human` directly.
 <!--
 To call the `fly` methods from either the `Pilot` trait or the `Wizard` trait,
 we need to use more explicit syntax to specify which `fly` method we mean.
-Listing 19-26 demonstrates this syntax.
+Listing 19-18 demonstrates this syntax.
 -->
 
 `Pilot`トレイトか、`Wizard`トレイトの`fly`メソッドを呼ぶためには、
 より明示的な記法を使用して、どの`fly`メソッドを意図しているか指定する必要があります。
-リスト19-26は、この記法をデモしています。
+リスト19-18は、この記法をデモしています。
 
 <!--
 <span class="filename">Filename: src/main.rs</span>
@@ -547,59 +452,26 @@ Listing 19-26 demonstrates this syntax.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-# trait Pilot {
-#     fn fly(&self);
-# }
-#
-# trait Wizard {
-#     fn fly(&self);
-# }
-#
-# struct Human;
-#
-# impl Pilot for Human {
-#     fn fly(&self) {
-#         println!("This is your captain speaking.");
-#     }
-# }
-#
-# impl Wizard for Human {
-#     fn fly(&self) {
-#         println!("Up!");
-#     }
-# }
-#
-# impl Human {
-#     fn fly(&self) {
-#         println!("*waving arms furiously*");
-#     }
-# }
-#
-fn main() {
-    let person = Human;
-    Pilot::fly(&person);
-    Wizard::fly(&person);
-    person.fly();
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-18/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-26: Specifying which trait’s `fly` method we
+<span class="caption">Listing 19-18: Specifying which trait’s `fly` method we
 want to call</span>
 -->
 
-<span class="caption">リスト19-26: どのトレイトの`fly`メソッドを呼び出したいか指定する</span>
+<span class="caption">リスト19-18: どのトレイトの`fly`メソッドを呼び出したいか指定する</span>
 
 <!--
 Specifying the trait name before the method name clarifies to Rust which
 implementation of `fly` we want to call. We could also write
 `Human::fly(&person)`, which is equivalent to the `person.fly()` that we used
-in Listing 19-26, but this is a bit longer to write if we don’t need to
+in Listing 19-18, but this is a bit longer to write if we don’t need to
 disambiguate.
 -->
 
 メソッド名の前にトレイト名を指定すると、コンパイラにどの`fly`の実装を呼び出したいか明確化できます。
-また、`Human::fly(&person)`と書くこともでき、リスト19-26で使用した`person.fly()`と等価ですが、
+また、`Human::fly(&person)`と書くこともでき、リスト19-18で使用した`person.fly()`と等価ですが、
 こちらの方は明確化する必要がないなら、ちょっと記述量が増えます。
 
 <!--
@@ -608,10 +480,8 @@ Running this code prints the following:
 
 このコードを実行すると、こんな出力がされます:
 
-```text
-This is your captain speaking.
-Up!
-*waving arms furiously*
+```console
+{{#include ../listings/ch19-advanced-features/listing-19-18/output.txt}}
 ```
 
 <!--
@@ -624,18 +494,22 @@ trait to use based on the type of `self`.
 コンパイラには、`self`の型に基づいてどのトレイトの実装を使うべきかわかるでしょう。
 
 <!--
-However, associated functions that are part of traits don’t have a `self`
-parameter. When two types in the same scope implement that trait, Rust can’t
-figure out which type you mean unless you use *fully qualified syntax*. For
-example, the `Animal` trait in Listing 19-27 has the associated function
-`baby_name`, the implementation of `Animal` for the struct `Dog`, and the
-associated function `baby_name` defined on `Dog` directly.
+However, associated functions that are not methods don’t have a `self`
+parameter. When there are multiple types or traits that define non-method
+functions with the same function name, Rust doesn't always know which type you
+mean unless you use *fully qualified syntax*. For example, in Listing 19-19 we
+create a trait for an animal shelter that wants to name all baby dogs *Spot*.
+We make an `Animal` trait with an associated non-method function `baby_name`.
+The `Animal` trait is implemented for the struct `Dog`, on which we also
+provide an associated non-method function `baby_name` directly.
 -->
 
-しかしながら、トレイトの一部になる関連関数には`self`引数がありません。同じスコープの2つの型がそのトレイトを実装する場合、
-*フルパス記法*(fully qualified syntax)を使用しない限り、どの型を意図しているかコンパイラは推論できません。例えば、
-リスト19-27の`Animal`トレイトには、関連関数`baby_name`、構造体`Dog`の`Animal`の実装、
-`Dog`に直接定義された関連関数`baby_name`があります。
+しかしながら、メソッドではない関連関数には`self`引数がありません。同じ関数名で非メソッド関数を定義する型またはトレイトが複数ある場合、
+*フルパス記法*(fully qualified syntax)を使用しない限り、どの型を意図しているかコンパイラが常に理解するとは限りません。例えば、
+リスト19-19では、全ての赤ちゃん犬を*スポット*(`訳注`: Wikipediaによると、飼い主の事故死後もその人の帰りを待つ忠犬の名前の模様)
+と名付けたいアニマル・シェルター(`訳注`: 身寄りのないペットを保護する保健所みたいなところ)のためのトレイトを作成します。
+関連非メソッド関数`baby_name`を持つ、`Animal`トレイトを作成します。
+`Animal`トレイトは構造体`Dog`に対して実装され、さらに`Dog`はその上に直接定義された関連非メソッド関数`baby_name`を提供します。
 
 <!--
 <span class="filename">Filename: src/main.rs</span>
@@ -644,52 +518,27 @@ associated function `baby_name` defined on `Dog` directly.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-trait Animal {
-    fn baby_name() -> String;
-}
-
-struct Dog;
-
-impl Dog {
-    fn baby_name() -> String {
-        // スポット(Wikipediaによると、飼い主の事故死後もその人の帰りを待つ忠犬の名前の模様)
-        String::from("Spot")
-    }
-}
-
-impl Animal for Dog {
-    fn baby_name() -> String {
-        // 子犬
-        String::from("puppy")
-    }
-}
-
-fn main() {
-    // 赤ちゃん犬は{}と呼ばれる
-    println!("A baby dog is called a {}", Dog::baby_name());
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-19/src/main.rs}}
 ```
 
 <!--
-<span class="caption">Listing 19-27: A trait with an associated function and a
+<span class="caption">Listing 19-19: A trait with an associated function and a
 type with an associated function of the same name that also implements the
 trait</span>
 -->
 
-<span class="caption">リスト19-27: 関連関数のあるトレイトとそのトレイトも実装し、同じ名前の関連関数がある型</span>
+<span class="caption">リスト19-19: 関連関数のあるトレイトとそのトレイトも実装し、同じ名前の関連関数がある型</span>
 
 <!--
-This code is for an animal shelter that wants to name all puppies Spot, which
-is implemented in the `baby_name` associated function that is defined on `Dog`.
-The `Dog` type also implements the trait `Animal`, which describes
-characteristics that all animals have. Baby dogs are called puppies, and that
-is expressed in the implementation of the `Animal` trait on `Dog` in the
-`baby_name` function associated with the `Animal` trait.
+We implement the code for naming all puppies Spot in the `baby_name` associated
+function that is defined on `Dog`. The `Dog` type also implements the trait
+`Animal`, which describes characteristics that all animals have. Baby dogs are
+called puppies, and that is expressed in the implementation of the `Animal`
+trait on `Dog` in the `baby_name` function associated with the `Animal` trait.
 -->
 
-このコードは、全ての子犬をスポットと名付けたいアニマル・シェルター(`訳注`: 身寄りのないペットを保護する保健所みたいなところ)用で、
-`Dog`に定義された`baby_name`関連関数で実装されています。`Dog`型は、トレイト`Animal`も実装し、
-このトレイトは全ての動物が持つ特徴を記述します。赤ちゃん犬は子犬と呼ばれ、
+`Dog`に定義された`baby_name`関連関数で、すべての子犬にスポットと名付けるためのコードを実装しています。
+`Dog`型は、トレイト`Animal`も実装し、このトレイトは全ての動物が持つ特徴を記述します。赤ちゃん犬は子犬と呼ばれ、
 それが`Dog`の`Animal`トレイトの実装の`Animal`トレイトと紐づいた`base_name`関数で表現されています。
 
 <!--
@@ -700,21 +549,21 @@ function defined on `Dog` directly. This code prints the following:
 `main`で、`Dog::baby_name`関数を呼び出し、直接`Dog`に定義された関連関数を呼び出しています。
 このコードは以下のような出力をします:
 
-```text
-A baby dog is called a Spot
+```console
+{{#include ../listings/ch19-advanced-features/listing-19-19/output.txt}}
 ```
 
 <!--
 This output isn’t what we wanted. We want to call the `baby_name` function that
 is part of the `Animal` trait that we implemented on `Dog` so the code prints
 `A baby dog is called a puppy`. The technique of specifying the trait name that
-we used in Listing 19-26 doesn’t help here; if we change `main` to the code in
-Listing 19-28, we’ll get a compilation error.
+we used in Listing 19-18 doesn’t help here; if we change `main` to the code in
+Listing 19-20, we’ll get a compilation error.
 -->
 
 この出力は、欲しかったものではありません。`Dog`に実装した`Animal`トレイトの一部の`baby_name`関数を呼び出したいので、
-コードは`A baby dog is called a puppy`と出力します。リスト19-26で使用したトレイト名を指定するテクニックは、
-ここでは役に立ちません; `main`をリスト19-28のようなコードに変更したら、コンパイルエラーになるでしょう。
+コードは`A baby dog is called a puppy`と出力します。リスト19-18で使用したトレイト名を指定するテクニックは、
+ここでは役に立ちません; `main`をリスト19-20のようなコードに変更したら、コンパイルエラーになるでしょう。
 
 <!--
 <span class="filename">Filename: src/main.rs</span>
@@ -722,49 +571,41 @@ Listing 19-28, we’ll get a compilation error.
 
 <span class="filename">ファイル名: src/main.rs</span>
 
-```rust,ignore
-fn main() {
-    println!("A baby dog is called a {}", Animal::baby_name());
-}
+```rust,ignore,does_not_compile
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-20/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-28: Attempting to call the `baby_name`
+<span class="caption">Listing 19-20: Attempting to call the `baby_name`
 function from the `Animal` trait, but Rust doesn’t know which implementation to
 use</span>
 -->
 
-<span class="caption">リスト19-28: `Animal`トレイトの`baby_name`関数を呼び出そうとするも、コンパイラにはどの実装を使うべきかわからない</span>
+<span class="caption">リスト19-20: `Animal`トレイトの`baby_name`関数を呼び出そうとするも、コンパイラにはどの実装を使うべきかわからない</span>
 
 <!--
-Because `Animal::baby_name` is an associated function rather than a method, and
-thus doesn’t have a `self` parameter, Rust can’t figure out which
+Because `Animal::baby_name` doesn’t have a `self` parameter, and there could be
+other types that implement the `Animal` trait, Rust can’t figure out which
 implementation of `Animal::baby_name` we want. We’ll get this compiler error:
 -->
 
-`Animal::baby_name`はメソッドではなく関連関数であり、故に`self`引数がないので、どの`Animal::baby_name`が欲しいのか、
-コンパイラには推論できません。こんなコンパイルエラーが出るでしょう:
+`Animal::baby_name`は`self`引数を持たず、`Animal`トレイトを実装する他の型があるかもしれないので、
+どの`Animal::baby_name`が欲しいのか、コンパイラには推論できません。こんなコンパイルエラーが出るでしょう:
 
-```text
-error[E0283]: type annotations required: cannot resolve `_: Animal`
-(エラー: 型注釈が必要です: `_: Animal`を解決できません)
-  --> src/main.rs:20:43
-   |
-20 |     println!("A baby dog is called a {}", Animal::baby_name());
-   |                                           ^^^^^^^^^^^^^^^^^
-   |
-   = note: required by `Animal::baby_name`
-   (注釈: `Animal::baby_name`に必要です)
+```console
+{{#include ../listings/ch19-advanced-features/listing-19-20/output.txt}}
 ```
 
 <!--
 To disambiguate and tell Rust that we want to use the implementation of
-`Animal` for `Dog`, we need to use fully qualified syntax. Listing 19-29
-demonstrates how to use fully qualified syntax.
+`Animal` for `Dog` as opposed to the implementation of `Animal` for some other
+type, we need to use fully qualified syntax. Listing 19-21 demonstrates how to
+use fully qualified syntax.
 -->
 
-`Dog`に対して`Animal`実装を使用したいと明確化し、コンパイラに指示するには、フルパス記法を使う必要があります。
-リスト19-29は、フルパス記法を使用する方法をデモしています。
+何らかの他の型に対する`Animalの実装ではなく`Dog`に対する`Animal`実装を使用したいことを、
+コンパイラに明確化して指示するには、フルパス記法を使う必要があります。
+リスト19-21は、フルパス記法を使用する方法をデモしています。
 
 <!--
 <span class="filename">Filename: src/main.rs</span>
@@ -773,37 +614,17 @@ demonstrates how to use fully qualified syntax.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-# trait Animal {
-#     fn baby_name() -> String;
-# }
-#
-# struct Dog;
-#
-# impl Dog {
-#     fn baby_name() -> String {
-#         String::from("Spot")
-#     }
-# }
-#
-# impl Animal for Dog {
-#     fn baby_name() -> String {
-#         String::from("puppy")
-#     }
-# }
-#
-fn main() {
-    println!("A baby dog is called a {}", <Dog as Animal>::baby_name());
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-21/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-29: Using fully qualified syntax to specify
+<span class="caption">Listing 19-21: Using fully qualified syntax to specify
 that we want to call the `baby_name` function from the `Animal` trait as
 implemented on `Dog`</span>
 -->
 
-<span class="caption">リスト19-29: フルパス記法を使って`Dog`に実装されているように、
-    `Animal`トレイトからの`baby_name`関数を呼び出したいと指定する</span>
+<span class="caption">リスト19-21: フルパス記法を使って`Dog`に実装されているように、
+`Animal`トレイトからの`baby_name`関数を呼び出したいと指定する</span>
 
 <!--
 We’re providing Rust with a type annotation within the angle brackets, which
@@ -816,8 +637,8 @@ implemented on `Dog` by saying that we want to treat the `Dog` type as an
 `Dog`に実装されたように、`Animal`トレイトの`baby_name`メソッドを呼び出したいと示唆しています。
 もうこのコードは、望み通りの出力をします:
 
-```text
-A baby dog is called a puppy
+```console
+{{#include ../listings/ch19-advanced-features/listing-19-21/output.txt}}
 ```
 
 <!--
@@ -831,16 +652,16 @@ In general, fully qualified syntax is defined as follows:
 ```
 
 <!--
-For associated functions, there would not be a `receiver`: there would only be
-the list of other arguments. You could use fully qualified syntax everywhere
-that you call functions or methods. However, you’re allowed to omit any part of
-this syntax that Rust can figure out from other information in the program. You
-only need to use this more verbose syntax in cases where there are multiple
-implementations that use the same name and Rust needs help to identify which
-implementation you want to call.
+For associated functions that aren’t methods, there would not be a `receiver`:
+there would only be the list of other arguments. You could use fully qualified
+syntax everywhere that you call functions or methods. However, you’re allowed
+to omit any part of this syntax that Rust can figure out from other information
+in the program. You only need to use this more verbose syntax in cases where
+there are multiple implementations that use the same name and Rust needs help
+to identify which implementation you want to call.
 -->
 
-関連関数では、`receiver`がないでしょう: 他の引数のリストがあるだけでしょう。関数やメソッドを呼び出す箇所全部で、
+メソッドでない関連関数には、`receiver`がないでしょう: 他の引数のリストがあるだけでしょう。関数やメソッドを呼び出す箇所全部で、
 フルパス記法を使用することもできるでしょうが、プログラムの他の情報からコンパイラが推論できるこの記法のどの部分も省略することが許容されています。
 同じ名前を使用する実装が複数あり、どの実装を呼び出したいかコンパイラが特定するのに助けが必要な場合だけにこのより冗長な記法を使用する必要があるのです。
 
@@ -851,24 +672,29 @@ implementation you want to call.
 ### スーパートレイトを使用して別のトレイト内で、あるトレイトの機能を必要とする
 
 <!--
-Sometimes, you might need one trait to use another trait’s functionality. In
-this case, you need to rely on the dependent trait's also being implemented.
-The trait you rely on is a *supertrait* of the trait you’re implementing.
+Sometimes, you might write a trait definition that depends on another trait:
+for a type to implement the first trait, you want to require that type to also
+implement the second trait. You would do this so that your trait definition can
+make use of the associated items of the second trait. The trait your trait
+definition is relying on is called a *supertrait* of your trait.
 -->
 
-時として、あるトレイトに別のトレイトの機能を使用させる必要がある可能性があります。この場合、
-依存するトレイトも実装されることを信用する必要があります。信用するトレイトは、実装しているトレイトの*スーパートレイト*です。
+時として、別のトレイトに依存するトレイト定義を書くことがあるかもしれません:
+型がそのトレイトを実装するためには、別のトレイトも実装していることを要求したいということです。
+前者のトレイト定義が後者のトレイトの要素を利用できるように、これを行うことになるでしょう。
+トレイト定義が依存するトレイトは、そのトレイトの*スーパートレイト*と呼ばれます。
 
 <!--
 For example, let’s say we want to make an `OutlinePrint` trait with an
-`outline_print` method that will print a value framed in asterisks. That is,
-given a `Point` struct that implements `Display` to result in `(x, y)`, when we
-call `outline_print` on a `Point` instance that has `1` for `x` and `3` for
-`y`, it should print the following:
+`outline_print` method that will print a given value formatted so that it's
+framed in asterisks. That is, given a `Point` struct that implements the
+standard library trait `Display` to result in `(x, y)`, when we call
+`outline_print` on a `Point` instance that has `1` for `x` and `3` for `y`, it
+should print the following:
 -->
 
-例えば、アスタリスクをフレームにする値を出力する`outline_print`メソッドがある`OutlinePrint`トレイトを作りたくなったとしましょう。
-つまり、`Display`を実装し、`(x, y)`という結果になる`Point`構造体が与えられて、
+例えば、与えられた値をアスタリスクの枠で囲うように整形して出力する、`outline_print`メソッドを持つ`OutlinePrint`トレイトを作りたくなったとしましょう。
+つまり、標準ライブラリトレイトの`Display`を実装し、`(x, y)`という結果になる`Point`構造体が与えられて、
 `x`が`1`、`y`が`3`の`Point`インスタンスに対して`outline_print`を呼び出すと、以下のような出力をするはずです:
 
 ```text
@@ -880,18 +706,19 @@ call `outline_print` on a `Point` instance that has `1` for `x` and `3` for
 ```
 
 <!--
-In the implementation of `outline_print`, we want to use the `Display` trait’s
-functionality. Therefore, we need to specify that the `OutlinePrint` trait will
-work only for types that also implement `Display` and provide the functionality
-that `OutlinePrint` needs. We can do that in the trait definition by specifying
-`OutlinePrint: Display`. This technique is similar to adding a trait bound to
-the trait. Listing 19-30 shows an implementation of the `OutlinePrint` trait.
+In the implementation of the `outline_print` method, we want to use the
+`Display` trait’s functionality. Therefore, we need to specify that the
+`OutlinePrint` trait will work only for types that also implement `Display` and
+provide the functionality that `OutlinePrint` needs. We can do that in the
+trait definition by specifying `OutlinePrint: Display`. This technique is
+similar to adding a trait bound to the trait. Listing 19-22 shows an
+implementation of the `OutlinePrint` trait.
 -->
 
-`outline_print`の実装では、`Display`トレイトの機能を使用したいです。故に、`Display`も実装する型に対してだけ`OutlinePrint`が動くと指定し、
+`outline_print`メソッドの実装では、`Display`トレイトの機能を使用したいです。故に、`Display`も実装する型に対してだけ`OutlinePrint`が動くと指定し、
 `OutlinePrint`が必要とする機能を提供する必要があるわけです。トレイト定義で`OutlinePrint: Display`と指定することで、
 そうすることができます。このテクニックは、トレイトにトレイト境界を追加することに似ています。
-リスト19-30は、`OutlinePrint`トレイトの実装を示しています。
+リスト19-22は、`OutlinePrint`トレイトの実装を示しています。
 
 <!--
 <span class="filename">Filename: src/main.rs</span>
@@ -900,33 +727,21 @@ the trait. Listing 19-30 shows an implementation of the `OutlinePrint` trait.
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-use std::fmt;
-
-trait OutlinePrint: fmt::Display {
-    fn outline_print(&self) {
-        let output = self.to_string();
-        let len = output.len();
-        println!("{}", "*".repeat(len + 4));
-        println!("*{}*", " ".repeat(len + 2));
-        println!("* {} *", output);
-        println!("*{}*", " ".repeat(len + 2));
-        println!("{}", "*".repeat(len + 4));
-    }
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-22/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-30: Implementing the `OutlinePrint` trait that
+<span class="caption">Listing 19-22: Implementing the `OutlinePrint` trait that
 requires the functionality from `Display`</span>
 -->
 
-<span class="caption">リスト19-30: `Display`からの機能を必要とする`OutlinePrint`トレイトを実装する</span>
+<span class="caption">リスト19-22: `Display`からの機能を必要とする`OutlinePrint`トレイトを実装する</span>
 
 <!--
 Because we’ve specified that `OutlinePrint` requires the `Display` trait, we
 can use the `to_string` function that is automatically implemented for any type
 that implements `Display`. If we tried to use `to_string` without adding a
-colon and specifying `Display` trait after the trait name, we’d get an
+colon and specifying the `Display` trait after the trait name, we’d get an
 error saying that no method named `to_string` was found for the type `&Self` in
 the current scope.
 -->
@@ -948,14 +763,8 @@ doesn’t implement `Display`, such as the `Point` struct:
 
 <span class="filename">ファイル名: src/main.rs</span>
 
-```rust
-# trait OutlinePrint {}
-struct Point {
-    x: i32,
-    y: i32,
-}
-
-impl OutlinePrint for Point {}
+```rust,ignore,does_not_compile
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/src/main.rs:here}}
 ```
 
 <!--
@@ -964,15 +773,8 @@ We get an error saying that `Display` is required but not implemented:
 
 `Display`が必要だけれども、実装されていないというエラーが出ます:
 
-```text
-error[E0277]: the trait bound `Point: std::fmt::Display` is not satisfied
-  --> src/main.rs:20:6
-   |
-20 | impl OutlinePrint for Point {}
-   |      ^^^^^^^^^^^^ `Point` cannot be formatted with the default formatter;
-try using `:?` instead if you are using a format string
-   |
-   = help: the trait `std::fmt::Display` is not implemented for `Point`
+```console
+{{#include ../listings/ch19-advanced-features/no-listing-02-impl-outlineprint-for-point/output.txt}}
 ```
 
 <!--
@@ -990,18 +792,7 @@ To fix this, we implement `Display` on `Point` and satisfy the constraint that
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-# struct Point {
-#     x: i32,
-#     y: i32,
-# }
-#
-use std::fmt;
-
-impl fmt::Display for Point {
-    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-        write!(f, "({}, {})", self.x, self.y)
-    }
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-03-impl-display-for-point/src/main.rs:here}}
 ```
 
 <!--
@@ -1020,22 +811,25 @@ it within an outline of asterisks.
 ### ニュータイプパターンを使用して外部の型に外部のトレイトを実装する
 
 <!--
-In Chapter 10 in the “Implementing a Trait on a Type” section, we mentioned the
-orphan rule that states we’re allowed to implement a trait on a type as long as
+In Chapter 10 in the [“Implementing a Trait on a
+Type”][implementing-a-trait-on-a-type] section, we mentioned the
+orphan rule that states we’re only allowed to implement a trait on a type if
 either the trait or the type are local to our crate. It’s possible to get
 around this restriction using the *newtype pattern*, which involves creating a
-new type in a tuple struct. (We covered tuple structs in the “Using Tuple
-Structs without Named Fields to Create Different Types” section of Chapter 5.)
-The tuple struct will have one field and be a thin wrapper around the type we
-want to implement a trait for. Then the wrapper type is local to our crate, and
-we can implement the trait on the wrapper. *Newtype* is a term that originates
-from the Haskell programming language. There is no runtime performance penalty
-for using this pattern, and the wrapper type is elided at compile time.
--->
-
-第10章の「型にトレイトを実装する」節で、トレイトか型がクレートにローカルな限り、型にトレイトを実装できると述べるオーファンルールについて触れました。
+new type in a tuple struct. (We covered tuple structs in the [“Using Tuple
+Structs without Named Fields to Create Different Types”][tuple-structs]
+section of Chapter 5.) The tuple struct will have one field and be a
+thin wrapper around the type we want to implement a trait for. Then the wrapper
+type is local to our crate, and we can implement the trait on the wrapper.
+*Newtype* is a term that originates from the Haskell programming language.
+There is no runtime performance penalty for using this pattern, and the wrapper
+type is elided at compile time.
+-->
+
+第10章の[「トレイトを型に実装する」][implementing-a-trait-on-a-type]節で、
+トレイトか型がクレートにローカルな場合に限り型にトレイトを実装できるとする、オーファンルールについて触れました。
 *ニュータイプパターン*を使用してこの制限を回避することができ、タプル構造体に新しい型を作成することになります。
-(タプル構造体については、第5章の「異なる型を生成する名前付きフィールドのないタプル構造体を使用する」節で講義しました。)
+(タプル構造体については、第5章の[「異なる型を生成する名前付きフィールドのないタプル構造体を使用する」][tuple-structs]節で講義しました。)
 タプル構造体は1つのフィールドを持ち、トレイトを実装したい型の薄いラッパになるでしょう。そして、
 ラッパの型はクレートにローカルなので、トレイトをラッパに実装できます。*ニュータイプ*という用語は、
 Haskellプログラミング言語に端を発しています。このパターンを使用するのに実行時のパフォーマンスを犠牲にすることはなく、
@@ -1046,12 +840,12 @@ As an example, let’s say we want to implement `Display` on `Vec<T>`, which the
 orphan rule prevents us from doing directly because the `Display` trait and the
 `Vec<T>` type are defined outside our crate. We can make a `Wrapper` struct
 that holds an instance of `Vec<T>`; then we can implement `Display` on
-`Wrapper` and use the `Vec<T>` value, as shown in Listing 19-31.
+`Wrapper` and use the `Vec<T>` value, as shown in Listing 19-23.
 -->
 
 例として、`Vec<T>`に`Display`を実装したいとしましょう。`Display`トレイトも`Vec<T>`型もクレートの外で定義されているので、
 直接それを行うことはオーファンルールにより妨げられます。`Vec<T>`のインスタンスを保持する`Wrapper`構造体を作成できます;
-そして、`Wrapper`に`Display`を実装し、`Vec<T>`値を使用できます。リスト19-31のように。
+そして、`Wrapper`に`Display`を実装し、`Vec<T>`値を使用できます。リスト19-23のように。
 
 <!--
 <span class="filename">Filename: src/main.rs</span>
@@ -1060,28 +854,15 @@ that holds an instance of `Vec<T>`; then we can implement `Display` on
 <span class="filename">ファイル名: src/main.rs</span>
 
 ```rust
-use std::fmt;
-
-struct Wrapper(Vec<String>);
-
-impl fmt::Display for Wrapper {
-    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-        write!(f, "[{}]", self.0.join(", "))
-    }
-}
-
-fn main() {
-    let w = Wrapper(vec![String::from("hello"), String::from("world")]);
-    println!("w = {}", w);
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-23/src/main.rs}}
 ```
 
 <!--
-<span class="caption">Listing 19-31: Creating a `Wrapper` type around
+<span class="caption">Listing 19-23: Creating a `Wrapper` type around
 `Vec<String>` to implement `Display`</span>
 -->
 
-<span class="caption">リスト19-31: `Vec<String>`の周りに`Wrapper`を作成して`Display`を実装する</span>
+<span class="caption">リスト19-23: `Vec<String>`の周りに`Wrapper`を作成して`Display`を実装する</span>
 
 <!--
 The implementation of `Display` uses `self.0` to access the inner `Vec<T>`,
@@ -1098,26 +879,43 @@ doesn’t have the methods of the value it’s holding. We would have to impleme
 all the methods of `Vec<T>` directly on `Wrapper` such that the methods
 delegate to `self.0`, which would allow us to treat `Wrapper` exactly like a
 `Vec<T>`. If we wanted the new type to have every method the inner type has,
-implementing the `Deref` trait (discussed in Chapter 15 in the “Treating Smart
-Pointers like Regular References with the `Deref` Trait” section) on the
-`Wrapper` to return the inner type would be a solution. If we don’t want the
-`Wrapper` type to have all the methods of the inner type—for example, to
-restrict the `Wrapper` type’s behavior—we would have to implement just the
-methods we do want manually.
+implementing the `Deref` trait (discussed in Chapter 15 in the [“Treating Smart
+Pointers Like Regular References with the `Deref`
+Trait”][smart-pointer-deref] section) on the `Wrapper` to return
+the inner type would be a solution. If we don’t want the `Wrapper` type to have
+all the methods of the inner type—for example, to restrict the `Wrapper` type’s
+behavior—we would have to implement just the methods we do want manually.
 -->
 
 このテクニックを使用する欠点は、`Wrapper`が新しい型なので、保持している値のメソッドがないことです。
 `self.0`に委譲して、`Wrapper`を`Vec<T>`と全く同様に扱えるように、`Wrapper`に直接`Vec<T>`の全てのメソッドを実装しなければならないでしょう。
 内部の型が持つ全てのメソッドを新しい型に持たせたいなら、
-`Deref`トレイト(第15章の「`Deref`トレイトでスマートポインタを普通の参照のように扱う」節で議論しました)を`Wrapper`に実装して、
+`Deref`トレイト(第15章の[「`Deref`トレイトでスマートポインタを普通の参照のように扱う」][smart-pointer-deref]節で議論しました)を`Wrapper`に実装して、
 内部の型を返すことは解決策の1つでしょう。内部の型のメソッド全部を`Wrapper`型に持たせたくない(例えば、`Wrapper`型の機能を制限するなど)なら、
 本当に欲しいメソッドだけを手動で実装しなければならないでしょう。
 
 <!--
-Now you know how the newtype pattern is used in relation to traits; it’s also a
-useful pattern even when traits are not involved. Let’s switch focus and look
-at some advanced ways to interact with Rust’s type system.
+This newtype pattern is also useful even when traits are not involved. Let’s
+switch focus and look at some advanced ways to interact with Rust’s type system.
+-->
+
+このニュータイプパターンは、トレイトが絡まなくても有用です。
+焦点を変更して、Rustの型システムと相互作用する一部の高度な方法を見ましょう。
+
+<!--
+[newtype]: ch19-03-advanced-traits.html#using-the-newtype-pattern-to-implement-external-traits-on-external-types
+[implementing-a-trait-on-a-type]:
+ch10-02-traits.html#implementing-a-trait-on-a-type
+[traits-defining-shared-behavior]:
+ch10-02-traits.html#traits-defining-shared-behavior
+[smart-pointer-deref]: ch15-02-deref.html#treating-smart-pointers-like-regular-references-with-the-deref-trait
+[tuple-structs]: ch05-01-defining-structs.html#using-tuple-structs-without-named-fields-to-create-different-types
 -->
 
-もう、トレイトに関してニュータイプパターンが使用される方法を知りました; トレイトが関連しなくても、
-有用なパターンでもあります。焦点を変更して、Rustの型システムと相互作用する一部の高度な方法を見ましょう。
+[newtype]: ch19-03-advanced-traits.html#ニュータイプパターンを使用して外部の型に外部のトレイトを実装する
+[implementing-a-trait-on-a-type]:
+ch10-02-traits.html#トレイトを型に実装する
+[traits-defining-shared-behavior]:
+ch10-02-traits.html#トレイト-共通の振る舞いを定義する
+[smart-pointer-deref]: ch15-02-deref.html#derefトレイトでスマートポインタを普通の参照のように扱う
+[tuple-structs]: ch05-01-defining-structs.html#異なる型を生成する名前付きフィールドのないタプル構造体を使用する
diff --git a/src/ch19-04-advanced-types.md b/src/ch19-04-advanced-types.md
index 8f57369ff..b05091457 100644
--- a/src/ch19-04-advanced-types.md
+++ b/src/ch19-04-advanced-types.md
@@ -5,54 +5,55 @@
 ## 高度な型
 
 <!--
-The Rust type system has some features that we’ve mentioned in this book but
-haven’t yet discussed. We’ll start by discussing newtypes in general as we
-examine why newtypes are useful as types. Then we’ll move on to type aliases, a
-feature similar to newtypes but with slightly different semantics. We’ll also
-discuss the `!` type and dynamically sized types.
+The Rust type system has some features that we’ve so far mentioned but haven’t
+yet discussed. We’ll start by discussing newtypes in general as we examine why
+newtypes are useful as types. Then we’ll move on to type aliases, a feature
+similar to newtypes but with slightly different semantics. We’ll also discuss
+the `!` type and dynamically sized types.
 -->
 
-Rustの型システムには、この本で触れたけれども、まだ議論していない機能があります。ニュータイプが何故型として有用なのかを調査するため、
+Rustの型システムには、ここまで触れたけれども、まだ議論していない機能があります。ニュータイプが何故型として有用なのかを調査するため、
 一般化してニュータイプを議論することから始めます。そして、型エイリアスに移ります。ニュータイプに類似しているけれども、
 多少異なる意味を持つ機能です。また、`!`型と動的サイズ決定型も議論します。
 
 <!--
-> Note: The next section assumes you’ve read the earlier section “The Newtype
-> Pattern to Implement External Traits on External Types.”
+### Using the Newtype Pattern for Type Safety and Abstraction
 -->
 
-> 注釈: 次の節は、前節「外部の型に外部のトレイトを実装するニュータイプパターン」を読了済みであることを前提にしています。
+### 型安全性と抽象化を求めてニュータイプパターンを使用する
 
 <!--
-### Using the Newtype Pattern for Type Safety and Abstraction
+> Note: This section assumes you’ve read the earlier section [“Using the
+> Newtype Pattern to Implement External Traits on External
+> Types.”][using-the-newtype-pattern]
 -->
 
-### 型安全性と抽象化を求めてニュータイプパターンを使用する
+> 注釈: この節は、以前の節[「ニュータイプパターンを使用して外部の型に外部のトレイトを実装する」][using-the-newtype-pattern]を読了済みであることを前提にしています。
 
 <!--
-The newtype pattern is useful for tasks beyond those we’ve discussed so far,
-including statically enforcing that values are never confused and indicating
-the units of a value. You saw an example of using newtypes to indicate units in
-Listing 19-23: recall that the `Millimeters` and `Meters` structs wrapped `u32`
-values in a newtype. If we wrote a function with a parameter of type
-`Millimeters`, we couldn’t compile a program that accidentally tried to call
-that function with a value of type `Meters` or a plain `u32`.
+The newtype pattern is also useful for tasks beyond those we’ve discussed so
+far, including statically enforcing that values are never confused and
+indicating the units of a value. You saw an example of using newtypes to
+indicate units in Listing 19-15: recall that the `Millimeters` and `Meters`
+structs wrapped `u32` values in a newtype. If we wrote a function with a
+parameter of type `Millimeters`, we couldn’t compile a program that
+accidentally tried to call that function with a value of type `Meters` or a
+plain `u32`.
 -->
 
 ここまでに議論した以上の作業についてもニュータイプパターンは有用で、静的に絶対に値を混同しないことを強制したり、
-値の単位を示すことを含みます。ニュータイプを使用して単位を示す例をリスト19-23で見かけました:
+値の単位を示すことを含みます。ニュータイプを使用して単位を示す例をリスト19-15で見かけました:
 `Millimeters`と`Meters`構造体は、`u32`値をニュータイプにラップしていたことを思い出してください。
 型`Millimeters`を引数にする関数を書いたら、誤ってその関数を型`Meters`や普通の`u32`で呼び出そうとするプログラムはコンパイルできないでしょう。
 
 <!--
-Another use of the newtype pattern is in abstracting away some implementation
+We can also use the newtype pattern to abstract away some implementation
 details of a type: the new type can expose a public API that is different from
-the API of the private inner type if we used the new type directly to restrict
-the available functionality, for example.
+the API of the private inner type.
 -->
 
-型の実装の詳細を抽象化する際にニュータイプパターンを使用するでしょう: 例えば、新しい型を直接使用して、
-利用可能な機能を制限したら、非公開の内部の型のAPIとは異なる公開APIを新しい型は露出できます。
+ニュータイプパターンは、型の実装の詳細を抽象化するためにも使用することができます:
+非公開の内部の型のAPIとは異なる公開APIを新しい型は露出できます。
 
 <!--
 Newtypes can also hide internal implementation. For example, we could provide a
@@ -61,8 +62,10 @@ associated with their name. Code using `People` would only interact with the
 public API we provide, such as a method to add a name string to the `People`
 collection; that code wouldn’t need to know that we assign an `i32` ID to names
 internally. The newtype pattern is a lightweight way to achieve encapsulation
-to hide implementation details, which we discussed in the “Encapsulation that
-Hides Implementation Details” section of Chapter 17.
+to hide implementation details, which we discussed in the [“Encapsulation that
+Hides Implementation
+Details”][encapsulation-that-hides-implementation-details]
+section of Chapter 17.
 -->
 
 ニュータイプはまた、内部の実装を<ruby>隠匿<rp>(</rp><rt>いんとく</rt><rp>)</rp></ruby>することもできます。例を挙げれば、`People`型を提供して、
@@ -70,7 +73,7 @@ Hides Implementation Details” section of Chapter 17.
 `People`を使用するコードは、名前の文字列を`People`コレクションに追加するメソッドなど、
 提供している公開APIとだけ相互作用するでしょう; そのコードは、内部で`i32`IDを名前に代入していることを知る必要はないでしょう。
 ニュータイプパターンは、カプセル化を実現して実装の詳細を隠匿する軽い方法であり、
-実装の詳細を隠匿することは、第17章の「カプセル化は実装詳細を隠蔽する」節で議論しましたね。
+実装の詳細を隠匿することは、第17章の[「カプセル化は、実装詳細を隠蔽する」][encapsulation-that-hides-implementation-details]節で議論しましたね。
 
 <!--
 ### Creating Type Synonyms with Type Aliases
@@ -79,46 +82,44 @@ Hides Implementation Details” section of Chapter 17.
 ### 型エイリアスで型同義語を生成する
 
 <!--
-Along with the newtype pattern, Rust provides the ability to declare a *type
-alias* to give an existing type another name. For this we use the `type`
-keyword. For example, we can create the alias `Kilometers` to `i32` like so:
+Rust provides the ability to declare a *type alias* to give an existing type
+another name. For this we use the `type` keyword. For example, we can create
+the alias `Kilometers` to `i32` like so:
 -->
 
-ニュータイプパターンに付随して、Rustでは、既存の型に別の名前を与える*型エイリアス*(type alias: 型別名)を宣言する能力が提供されています。
+Rustでは、既存の型に別の名前を与える*型エイリアス*(type alias: 型別名)を宣言する能力が提供されています。
 このために、`type`キーワードを使用します。例えば、以下のように`i32`に対して`Kilometers`というエイリアスを作れます。
 
 ```rust
-type Kilometers = i32;
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-04-kilometers-alias/src/main.rs:here}}
 ```
 
 <!--
 Now, the alias `Kilometers` is a *synonym* for `i32`; unlike the `Millimeters`
-and `Meters` types we created in Listing 19-23, `Kilometers` is not a separate,
+and `Meters` types we created in Listing 19-15, `Kilometers` is not a separate,
 new type. Values that have the type `Kilometers` will be treated the same as
 values of type `i32`:
 -->
 
-これで、別名の`Kilometers`は`i32`と*同義語*になりました; リスト19-23で生成した`Millimeters`と`Meters`とは異なり、
+これで、別名の`Kilometers`は`i32`と*同義語*になりました; リスト19-15で生成した`Millimeters`と`Meters`とは異なり、
 `Kilometers`は個別の新しい型ではありません。型`Kilometers`の値は、型`i32`の値と同等に扱われます。
 
 ```rust
-type Kilometers = i32;
-
-let x: i32 = 5;
-let y: Kilometers = 5;
-
-println!("x + y = {}", x + y);
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-04-kilometers-alias/src/main.rs:there}}
 ```
 
 <!--
 Because `Kilometers` and `i32` are the same type, we can add values of both
 types and we can pass `Kilometers` values to functions that take `i32`
 parameters. However, using this method, we don’t get the type checking benefits
-that we get from the newtype pattern discussed earlier.
+that we get from the newtype pattern discussed earlier. In other words, if we
+mix up `Kilometers` and `i32` values somewhere, the compiler will not give us
+an error.
 -->
 
 `Kilometers`と`i32`が同じ型なので、両方の型の値を足し合わせたり、`Kilometers`の値を`i32`引数を取る関数に渡せたりします。
 ですが、この方策を使用すると、先ほど議論したニュータイプパターンで得られる型チェックの利便性は得られません。
+つまり、`Kilometers`と`i32`の値をどこかでごちゃ混ぜにしてしまっても、コンパイラはエラーを出してくれないでしょう。
 
 <!--
 The main use case for type synonyms is to reduce repetition. For example, we
@@ -128,67 +129,47 @@ might have a lengthy type like this:
 型同義語の主なユースケースは、繰り返しを減らすことです。例えば、こんな感じの長い型があるかもしれません:
 
 ```rust,ignore
-Box<Fn() + Send + 'static>
+Box<dyn Fn() + Send + 'static>
 ```
 
 <!--
 Writing this lengthy type in function signatures and as type annotations all
 over the code can be tiresome and error prone. Imagine having a project full of
-code like that in Listing 19-32.
+code like that in Listing 19-24.
 -->
 
 この長ったらしい型を関数シグニチャや型注釈としてコードのあちこちで記述するのは、面倒で間違いも起きやすいです。
-リスト19-32のそのようなコードで溢れかえったプロジェクトがあることを想像してください。
+リスト19-24のそのようなコードで溢れかえったプロジェクトがあることを想像してください。
 
 ```rust
-let f: Box<Fn() + Send + 'static> = Box::new(|| println!("hi"));
-
-fn takes_long_type(f: Box<Fn() + Send + 'static>) {
-    // --snip--
-}
-
-fn returns_long_type() -> Box<Fn() + Send + 'static> {
-    // --snip--
-#     Box::new(|| ())
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-24/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-32: Using a long type in many places</span>
+<span class="caption">Listing 19-24: Using a long type in many places</span>
 -->
 
-<span class="caption">リスト19-32: 長い型を多くの場所で使用する</span>
+<span class="caption">リスト19-24: 長い型を多くの場所で使用する</span>
 
 <!--
 A type alias makes this code more manageable by reducing the repetition. In
-Listing 19-33, we’ve introduced an alias named `Thunk` for the verbose type and
+Listing 19-25, we’ve introduced an alias named `Thunk` for the verbose type and
 can replace all uses of the type with the shorter alias `Thunk`.
 -->
 
-型エイリアスは、繰り返しを減らすことでこのコードをより管理しやすくしてくれます。リスト19-33で、
+型エイリアスは、繰り返しを減らすことでこのコードをより管理しやすくしてくれます。リスト19-25で、
 冗長な型に`Thunk`(`注釈`: 塊)を導入し、その型の使用全部をより短い別名の`Thunk`で置き換えることができます。
 
 ```rust
-type Thunk = Box<Fn() + Send + 'static>;
-
-let f: Thunk = Box::new(|| println!("hi"));
-
-fn takes_long_type(f: Thunk) {
-    // --snip--
-}
-
-fn returns_long_type() -> Thunk {
-    // --snip--
-#     Box::new(|| ())
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-25/src/main.rs:here}}
 ```
 
 <!--
-<span class="caption">Listing 19-33: Introducing a type alias `Thunk` to reduce
+<span class="caption">Listing 19-25: Introducing a type alias `Thunk` to reduce
 repetition</span>
 -->
 
-<span class="caption">リスト19-33: 型エイリアスの`Thunk`を導入して繰り返しを減らす</span>
+<span class="caption">リスト19-25: 型エイリアスの`Thunk`を導入して繰り返しを減らす</span>
 
 <!--
 This code is much easier to read and write! Choosing a meaningful name for a
@@ -216,33 +197,24 @@ I/O処理はしばしば、`Result<T, E>`を返して処理がうまく動かな
 全ての可能性のあるI/Oエラーを表す`std::io::Error`構造体があります。`std::io`の関数の多くは、
 `Write`トレイトの以下の関数のように`E`が`std::io::Error`の`Result<T, E>`を返すでしょう:
 
-```rust
-use std::io::Error;
-use std::fmt;
-
-pub trait Write {
-    fn write(&mut self, buf: &[u8]) -> Result<usize, Error>;
-    fn flush(&mut self) -> Result<(), Error>;
-
-    fn write_all(&mut self, buf: &[u8]) -> Result<(), Error>;
-    fn write_fmt(&mut self, fmt: fmt::Arguments) -> Result<(), Error>;
-}
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-05-write-trait/src/lib.rs}}
 ```
 
 <!--
-The `Result<..., Error>` is repeated a lot. As such, `std::io` has this type of
+The `Result<..., Error>` is repeated a lot. As such, `std::io` has this type
 alias declaration:
 -->
 
-`Result<..., Error>`が何度も繰り返されてます。そんな状態なので、`std::io`にはこんな類のエイリアス宣言があります:
+`Result<..., Error>`が何度も繰り返されてます。そんな状態なので、`std::io`にはこんな型エイリアス宣言があります:
 
-```rust,ignore
-type Result<T> = Result<T, std::io::Error>;
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-06-result-alias/src/lib.rs:here}}
 ```
 
 <!--
 Because this declaration is in the `std::io` module, we can use the fully
-qualified alias `std::io::Result<T>`-that is, a `Result<T, E>` with the `E`
+qualified alias `std::io::Result<T>`; that is, a `Result<T, E>` with the `E`
 filled in as `std::io::Error`. The `Write` trait function signatures end up
 looking like this:
 -->
@@ -251,14 +223,8 @@ looking like this:
 つまり、`E`が`std::io::Error`で埋められた`Result<T, E>`です。その結果、`Write`トレイトの関数シグニチャは、
 以下のような見た目になります:
 
-```rust,ignore
-pub trait Write {
-    fn write(&mut self, buf: &[u8]) -> Result<usize>;
-    fn flush(&mut self) -> Result<()>;
-
-    fn write_all(&mut self, buf: &[u8]) -> Result<()>;
-    fn write_fmt(&mut self, fmt: Arguments) -> Result<()>;
-}
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-06-result-alias/src/lib.rs:there}}
 ```
 
 <!--
@@ -293,10 +259,8 @@ Rustには、`!`という名前の特別な型があります。それは型理
 関数が値を返すことが決して (never) ない時に戻り値の型を記す場所に使われるので、*never type*(`訳注`: 日本語にはできないので、never型と呼ぶしかないか)と呼ぶのが好きです。
 こちらが例です:
 
-```rust,ignore
-fn bar() -> ! {
-    // --snip--
-}
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-07-never-type/src/lib.rs:here}}
 ```
 
 <!--
@@ -310,55 +274,48 @@ so `bar` can never possibly return.
 
 <!--
 But what use is a type you can never create values for? Recall the code from
-Listing 2-5; we’ve reproduced part of it here in Listing 19-34.
+Listing 2-5, part of the number guessing game; we’ve reproduced a bit of it
+here in Listing 19-26.
 -->
 
-ですが、値を絶対に生成できない型をどう使用するのでしょうか？リスト2-5のコードを思い出してください;
-リスト19-34に一部を再掲します。
+ですが、値を絶対に生成できない型をどう使用するのでしょうか？数当てゲームの一部である、
+リスト2-5のコードを思い出してください; リスト19-26にその一部を再掲します。
 
-```rust
-# let guess = "3";
-# loop {
-let guess: u32 = match guess.trim().parse() {
-    Ok(num) => num,
-    Err(_) => continue,
-};
-# break;
-# }
+
+```rust,ignore
+{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-05/src/main.rs:ch19}}
 ```
 
 <!--
-<span class="caption">Listing 19-34: A `match` with an arm that ends in
+<span class="caption">Listing 19-26: A `match` with an arm that ends in
 `continue`</span>
 -->
 
-<span class="caption">リスト19-34: `continue`になるアームがある`match`</span>
+<span class="caption">リスト19-26: `continue`になるアームがある`match`</span>
 
 <!--
-At the time, we skipped over some details in this code. In Chapter 6 in “The
-`match` Control Flow Operator” section, we discussed that `match` arms must all
-return the same type. So, for example, the following code doesn’t work:
+At the time, we skipped over some details in this code. In Chapter 6 in [“The
+`match` Control Flow Operator”][the-match-control-flow-operator]
+section, we discussed that `match` arms must all return the same type. So, for
+example, the following code doesn’t work:
 -->
 
-この時点では、このコードの詳細の一部を飛ばしました。第6章の「`match`制御フロー演算子」節で、
+この時点では、このコードの詳細の一部を飛ばしました。第6章の[「`match`制御フロー演算子」][the-match-control-flow-operator]節で、
 `match`アームは全て同じ型を返さなければならないと議論しました。従って、例えば以下のコードは動きません:
 
-```rust,ignore
-let guess = match guess.trim().parse() {
-    Ok(_) => 5,
-    Err(_) => "hello",
-}
+```rust,ignore,does_not_compile
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-08-match-arms-different-types/src/main.rs:here}}
 ```
 
 <!--
 The type of `guess` in this code would have to be an integer *and* a string,
 and Rust requires that `guess` have only one type. So what does `continue`
 return? How were we allowed to return a `u32` from one arm and have another arm
-that ends with `continue` in Listing 19-34?
+that ends with `continue` in Listing 19-26?
 -->
 
 このコードの`guess`は整数*かつ*文字列にならなければならないでしょうが、Rustでは、`guess`は1つの型にしかならないことを要求されます。
-では、`continue`は何を返すのでしょうか？どうやってリスト19-34で1つのアームからは`u32`を返し、別のアームでは、
+では、`continue`は何を返すのでしょうか？どうやってリスト19-26で1つのアームからは`u32`を返し、別のアームでは、
 `continue`で終わっていたのでしょうか？
 
 <!--
@@ -385,34 +342,27 @@ back to the top of the loop, so in the `Err` case, we never assign a value to
 その代わりに制御をループの冒頭に戻すので、`Err`の場合、`guess`には絶対に値を代入しないのです。
 
 <!--
-The never type is useful with the `panic!` macro as well. Remember the `unwrap`
-function that we call on `Option<T>` values to produce a value or panic? Here
-is its definition:
+The never type is useful with the `panic!` macro as well. Recall the `unwrap`
+function that we call on `Option<T>` values to produce a value or panic with
+this definition:
 -->
 
-never型は、`panic!`マクロとも有用です。`Option<T>`値に対して呼び出して、値かパニックを生成した`unwrap`関数を覚えていますか？
-こちらがその定義です:
+never型は、`panic!`マクロとも有用です。`Option<T>`値に対して呼び出して、
+値かパニックを生成する`unwrap`関数を思い出してください。こちらがその定義です:
 
 ```rust,ignore
-impl<T> Option<T> {
-    pub fn unwrap(self) -> T {
-        match self {
-            Some(val) => val,
-            None => panic!("called `Option::unwrap()` on a `None` value"),
-        }
-    }
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-09-unwrap-definition/src/lib.rs:here}}
 ```
 
 <!--
-In this code, the same thing happens as in the `match` in Listing 19-34: Rust
+In this code, the same thing happens as in the `match` in Listing 19-26: Rust
 sees that `val` has the type `T` and `panic!` has the type `!`, so the result
 of the overall `match` expression is `T`. This code works because `panic!`
-doesn't produce a value; it ends the program. In the `None` case, we won’t be
+doesn’t produce a value; it ends the program. In the `None` case, we won’t be
 returning a value from `unwrap`, so this code is valid.
 -->
 
-このコードにおいて、リスト19-34の`match`と同じことが起きています: コンパイラは、`val`の型は`T`で、
+このコードにおいて、リスト19-26の`match`と同じことが起きています: コンパイラは、`val`の型は`T`で、
 `panic!`の型は`!`なので、`match`式全体の結果は`T`と確認します。`panic!`は値を生成しないので、
 このコードは動きます。つまり、プログラムを終了するのです。`None`の場合、`unwrap`から値は返さないので、
 このコードは合法なのです。
@@ -424,13 +374,7 @@ One final expression that has the type `!` is a `loop`:
 型が`!`の最後の式は、`loop`です:
 
 ```rust,ignore
-// 永遠に
-print!("forever ");
-
-loop {
-    // さらに永遠に
-    print!("and ever ");
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-10-loop-returns-never/src/main.rs:here}}
 ```
 
 <!--
@@ -449,15 +393,17 @@ when it got to the `break`.
 ### 動的サイズ決定型と`Sized`トレイト
 
 <!--
-Due to Rust’s need to know certain details, such as how much space to allocate
-for a value of a particular type, there is a corner of its type system that can
-be confusing: the concept of *dynamically sized types*. Sometimes referred to
-as *DSTs* or *unsized types*, these types let us write code using values whose
-size we can know only at runtime.
+Rust needs to know certain details about its types, such as how much space to
+allocate for a value of a particular type. This leaves one corner of its type
+system a little confusing at first: the concept of *dynamically sized types*.
+Sometimes referred to as *DSTs* or *unsized types*, these types let us write
+code using values whose size we can know only at runtime.
 -->
 
-コンパイラが特定の型の値1つにどれくらいのスペースのメモリを確保するのかなどの特定の詳細を知る必要があるために、
-Rustの型システムには混乱を招きやすい細かな仕様があります: *動的サイズ決定型*の概念です。時として*DST*や*サイズなし型*とも称され、
+コンパイラは、特定の型の値1つにどれくらいのスペースのメモリを確保するのかなど、
+その型についての特定の詳細を知る必要があります。ただしこれには、
+最初は少し混乱しやすい型システムのコーナーケースがあります:
+*動的サイズ決定型*の概念です。時として*DST*や*サイズなし型*とも称され、
 これらの型により、実行時にしかサイズを知ることのできない値を使用するコードを書かせてくれます。
 
 <!--
@@ -473,11 +419,8 @@ we can’t create a variable of type `str`, nor can we take an argument of type
 これは、型`str`の変数を生成したり、型`str`を引数に取ることはできないことを意味します。
 動かない以下のコードを考えてください:
 
-```rust,ignore
-// こんにちは
-let s1: str = "Hello there!";
-// 調子はどう？
-let s2: str = "How's it going?";
+```rust,ignore,does_not_compile
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-11-cant-create-str/src/main.rs:here}}
 ```
 
 <!--
@@ -496,18 +439,11 @@ Rustでこのコードを書くことが許容されたら、これら2つの`st
 
 <!--
 So what do we do? In this case, you already know the answer: we make the types
-of `s1` and `s2` a `&str` rather than a `str`. Recall that in the “String
-Slices” section of Chapter 4, we said the slice data structure stores the
-starting position and the length of the slice.
--->
-
-では、どうすればいいのでしょうか？この場合、もう答えはご存知です: `s1`と`s2`の型を`str`ではなく、
-`&str`にすればいいのです。第4章の「文字列スライス」節でスライスデータ構造は、
-開始地点とスライスの長さを格納していると述べたことを思い出してください。
-
-<!--
-So although a `&T` is a single value that stores the memory address of where
-the `T` is located, a `&str` is *two* values: the address of the `str` and its
+of `s1` and `s2` a `&str` rather than a `str`. Recall from the [“String
+Slices”][string-slices] section of Chapter 4 that the slice data
+structure just stores the starting position and the length of the slice. So
+although a `&T` is a single value that stores the memory address of where the
+`T` is located, a `&str` is *two* values: the address of the `str` and its
 length. As such, we can know the size of a `&str` value at compile time: it’s
 twice the length of a `usize`. That is, we always know the size of a `&str`, no
 matter how long the string it refers to is. In general, this is the way in
@@ -517,6 +453,9 @@ dynamically sized types is that we must always put values of dynamically sized
 types behind a pointer of some kind.
 -->
 
+では、どうすればいいのでしょうか？この場合、もう答えはご存知です: `s1`と`s2`の型を`str`ではなく、
+`&str`にすればいいのです。第4章の[「文字列スライス」][string-slices]節で学んだように、
+スライスデータ構造は単に開始地点とスライスの長さを格納したものだということを思い出してください。
 従って、`&T`は、`T`がどこにあるかのメモリアドレスを格納する単独の値だけれども、`&str`は*2つ*の値なのです:
 `str`のアドレスとその長さです。そのため、コンパイル時に`&str`のサイズを知ることができます:
 `usize`の長さの2倍です。要するに、参照している文字列の長さによらず、常に`&str`のサイズがわかります。
@@ -527,34 +466,34 @@ types behind a pointer of some kind.
 We can combine `str` with all kinds of pointers: for example, `Box<str>` or
 `Rc<str>`. In fact, you’ve seen this before but with a different dynamically
 sized type: traits. Every trait is a dynamically sized type we can refer to by
-using the name of the trait. In Chapter 17 in the “Using Trait Objects that
-Allow for Values of Different Types” section, we mentioned that to use traits
-as trait objects, we must put them behind a pointer, such as `&Trait` or
-`Box<Trait>` (`Rc<Trait>` would work too).
+using the name of the trait. In Chapter 17 in the [“Using Trait Objects That
+Allow for Values of Different
+Types”][using-trait-objects-that-allow-for-values-of-different-types]
+section, we mentioned that to use traits as trait objects, we must
+put them behind a pointer, such as `&dyn Trait` or `Box<dyn Trait>` (`Rc<dyn
+Trait>` would work too).
 -->
 
 `str`を全ての種類のポインタと組み合わせられます: 例を挙げれば、`Box<str>`や`Rc<str>`などです。
 実際、これまでに見かけましたが、異なる動的サイズ決定型でした: トレイトです。全てのトレイトは、
-トレイト名を使用して参照できる動的サイズ決定型です。第17章の「トレイトオブジェクトで異なる型の値を許容する」節で、
-トレイトをトレイトオブジェクトとして使用するには、`&Trait`や`Box<Trait>`(`Rc<Trait>`も動くでしょう)など、
+トレイト名を使用して参照できる動的サイズ決定型です。第17章の[「トレイトオブジェクトで異なる型の値を許容する」][using-trait-objects-that-allow-for-values-of-different-types]節で、
+トレイトをトレイトオブジェクトとして使用するには、`&dyn Trait`や`Box<dyn Trait>`(`Rc<dyn Trait>`も動くでしょう)など、
 ポインタの背後に配置しなければならないことに触れました。
 
 <!--
-To work with DSTs, Rust has a particular trait called the `Sized` trait to
-determine whether or not a type’s size is known at compile time. This trait is
-automatically implemented for everything whose size is known at compile time.
-In addition, Rust implicitly adds a bound on `Sized` to every generic function.
-That is, a generic function definition like this:
+To work with DSTs, Rust provides the `Sized` trait to determine whether or not
+a type’s size is known at compile time. This trait is automatically implemented
+for everything whose size is known at compile time. In addition, Rust
+implicitly adds a bound on `Sized` to every generic function. That is, a
+generic function definition like this:
 -->
 
-DSTを扱うために、Rustには`Sized`トレイトと呼ばれる特定のトレイトがあり、型のサイズがコンパイル時にわかるかどうかを決定します。
+DSTを扱うために、Rustは`Sized`トレイトを提供しており、型のサイズがコンパイル時にわかるかどうかを決定します。
 このトレイトは、コンパイル時にサイズの判明する全てのものに自動的に実装されます。加えて、
 コンパイラは暗黙的に全てのジェネリックな関数に`Sized`の境界を追加します。つまり、こんな感じのジェネリック関数定義は:
 
 ```rust,ignore
-fn generic<T>(t: T) {
-    // --snip--
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-12-generic-fn-definition/src/lib.rs}}
 ```
 
 <!--
@@ -564,9 +503,7 @@ is actually treated as though we had written this:
 実際にはこう書いたかのように扱われます:
 
 ```rust,ignore
-fn generic<T: Sized>(t: T) {
-    // --snip--
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-13-generic-implicit-sized-bound/src/lib.rs}}
 ```
 
 <!--
@@ -579,19 +516,20 @@ restriction:
 ですが、以下の特別な記法を用いてこの制限を緩めることができます:
 
 ```rust,ignore
-fn generic<T: ?Sized>(t: &T) {
-    // --snip--
-}
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-14-generic-maybe-sized/src/lib.rs}}
 ```
 
 <!--
-A trait bound on `?Sized` is the opposite of a trait bound on `Sized`: we would
-read this as “`T` may or may not be `Sized`.” This syntax is only available for
+A trait bound on `?Sized` means “`T` may or may not be `Sized`” and this
+notation overrides the default that generic types must have a known size at
+compile time. The `?Trait` syntax with this meaning is only available for
 `Sized`, not any other traits.
 -->
 
-`?Sized`のトレイト境界は、`Sized`のトレイト境界の逆になります: これを「`T`は`Sized`かもしれないし、違うかもしれない」と解読するでしょう。
-この記法は、`Sized`にのみ利用可能で、他のトレイトにはありません。
+`?Sized`のトレイト境界は「`T`は`Sized`かもしれないし、違うかもしれない」という意味であり、
+この記法は、ジェネリック型はコンパイル時に既知のサイズを持たなくてはならないという、
+デフォルトの制約を無効化します。この意味を持つ`?Trait`記法は、`Sized`にのみ利用可能で、
+他のトレイトに対しては利用できません。
 
 <!--
 Also note that we switched the type of the `t` parameter from `T` to `&T`.
@@ -607,3 +545,23 @@ Next, we’ll talk about functions and closures!
 -->
 
 次は、関数とクロージャについて語ります！
+
+<!--
+[encapsulation-that-hides-implementation-details]:
+ch17-01-what-is-oo.html#encapsulation-that-hides-implementation-details
+[string-slices]: ch04-03-slices.html#string-slices
+[the-match-control-flow-operator]:
+ch06-02-match.html#the-match-control-flow-operator
+[using-trait-objects-that-allow-for-values-of-different-types]:
+ch17-02-trait-objects.html#using-trait-objects-that-allow-for-values-of-different-types
+[using-the-newtype-pattern]: ch19-03-advanced-traits.html#using-the-newtype-pattern-to-implement-external-traits-on-external-types
+-->
+
+[encapsulation-that-hides-implementation-details]:
+ch17-01-what-is-oo.html#カプセル化は実装詳細を隠蔽する
+[string-slices]: ch04-03-slices.html#文字列スライス
+[the-match-control-flow-operator]:
+ch06-02-match.html#match制御フロー構造
+[using-trait-objects-that-allow-for-values-of-different-types]:
+ch17-02-trait-objects.html#トレイトオブジェクトで異なる型の値を許容する
+[using-the-newtype-pattern]: ch19-03-advanced-traits.html#ニュータイプパターンを使用して外部の型に外部のトレイトを実装する
diff --git a/src/ch19-05-advanced-functions-and-closures.md b/src/ch19-05-advanced-functions-and-closures.md
index 8b7eab5cc..da9314b8d 100644
--- a/src/ch19-05-advanced-functions-and-closures.md
+++ b/src/ch19-05-advanced-functions-and-closures.md
@@ -5,11 +5,12 @@
 ## 高度な関数とクロージャ
 
 <!--
-Finally, we’ll explore some advanced features related to functions and
-closures, which include function pointers and returning closures.
+This section explores some advanced features related to functions and closures,
+including function pointers and returning closures.
 -->
 
-最後に関数とクロージャに関連する高度な機能の一部を探究し、これには関数ポインタとクロージャの返却が含まれます。
+この節では関数とクロージャに関連する高度な機能の一部を探究し、
+これには関数ポインタとクロージャの返却が含まれます。
 
 <!--
 ### Function Pointers
@@ -20,49 +21,53 @@ closures, which include function pointers and returning closures.
 <!--
 We’ve talked about how to pass closures to functions; you can also pass regular
 functions to functions! This technique is useful when you want to pass a
-function you’ve already defined rather than defining a new closure. Doing this
+function you’ve already defined rather than defining a new closure. Functions
+coerce to the type `fn` (with a lowercase f), not to be confused with the `Fn`
+closure trait. The `fn` type is called a *function pointer*. Passing functions
 with function pointers will allow you to use functions as arguments to other
-functions. Functions coerce to the type `fn` (with a lowercase f), not to be
-confused with the `Fn` closure trait. The `fn` type is called a *function
-pointer*. The syntax for specifying that a parameter is a function pointer is
-similar to that of closures, as shown in Listing 19-35.
+functions.
 -->
 
 クロージャを関数に渡す方法について語りました; 普通の関数を関数に渡すこともできるのです！
 新しいクロージャを定義するのではなく、既に定義した関数を渡したい時にこのテクニックは有用です。
-これを関数ポインタで行うと、関数を引数として他の関数に渡して使用できます。関数は、型`fn`(小文字のfです)に型強制されます。
+関数は、型`fn`(小文字のfです)に型強制されます。
 `Fn`クロージャトレイトと混同すべきではありません。`fn`型は、*関数ポインタ*と呼ばれます。
-引数が関数ポインタであると指定する記法は、クロージャのものと似ています。リスト19-35のように。
+関数ポインタで関数を渡すことで、関数を引数として他の関数に渡して使用できます。
 
 <!--
-<span class="filename">Filename: src/main.rs</span>
+The syntax for specifying that a parameter is a function pointer is similar to
+that of closures, as shown in Listing 19-27, where we’ve defined a function
+`add_one` that adds one to its parameter. The function `do_twice` takes two
+parameters: a function pointer to any function that takes an `i32` parameter
+and returns an `i32`, and one `i32` value. The `do_twice` function calls the
+function `f` twice, passing it the `arg` value, then adds the two function call
+results together. The `main` function calls `do_twice` with the arguments
+`add_one` and `5`.
 -->
 
-<span class="filename">ファイル名: src/main.rs</span>
 
-```rust
-fn add_one(x: i32) -> i32 {
-    x + 1
-}
+引数が関数ポインタであると指定する記法は、リスト19-27に示すように、クロージャのものと似ています。
+ここでは引数に1を足す関数`add_one`を定義しています。関数`do_twice`は2個の引数を取ります:
+`i32`引数を取り`i32`を返す任意の関数への関数ポインタと、1個の`i32`値です。
+`do_twice`関数は、関数`f`に`arg`値を渡して2度呼び出し、その後2回の関数呼び出しの結果を足し合わせます。
+`main`関数は`do_twice`を引数`add_one`と`5`で呼び出します。
 
-fn do_twice(f: fn(i32) -> i32, arg: i32) -> i32 {
-    f(arg) + f(arg)
-}
+<!--
+<span class="filename">Filename: src/main.rs</span>
+-->
 
-fn main() {
-    let answer = do_twice(add_one, 5);
+<span class="filename">ファイル名: src/main.rs</span>
 
-    // 答えは{}
-    println!("The answer is: {}", answer);
-}
+```rust
+{{#rustdoc_include ../listings/ch19-advanced-features/listing-19-27/src/main.rs}}
 ```
 
 <!--
-<span class="caption">Listing 19-35: Using the `fn` type to accept a function
+<span class="caption">Listing 19-27: Using the `fn` type to accept a function
 pointer as an argument</span>
 -->
 
-<span class="caption">リスト19-35: `fn`型を使用して引数として関数ポインタを受け入れる</span>
+<span class="caption">リスト19-27: `fn`型を使用して引数として関数ポインタを受け入れる</span>
 
 <!--
 This code prints `The answer is: 12`. We specify that the parameter `f` in
@@ -86,23 +91,25 @@ of the `Fn` traits as a trait bound.
 
 <!--
 Function pointers implement all three of the closure traits (`Fn`, `FnMut`, and
-`FnOnce`), so you can always pass a function pointer as an argument for a
+`FnOnce`), meaning you can always pass a function pointer as an argument for a
 function that expects a closure. It’s best to write functions using a generic
 type and one of the closure traits so your functions can accept either
 functions or closures.
 -->
 
-関数ポインタは、クロージャトレイト3つ全て(`Fn`、`FnMut`、`FnOnce`)を実装するので、常に関数ポインタを引数として、
-クロージャを期待する関数に渡すことができます。関数が関数とクロージャどちらも受け入れられるように、
+関数ポインタはクロージャトレイト3つ全て(`Fn`、`FnMut`、`FnOnce`)を実装するので、
+つまり、クロージャを期待する関数には常に関数ポインタを引数として渡すことができます。
+関数が関数とクロージャどちらも受け入れられるように、
 ジェネリックな型とクロージャトレイトの1つを使用して関数を書くのが最善です。
 
 <!--
-An example of where you would want to only accept `fn` and not closures is when
-interfacing with external code that doesn’t have closures: C functions can
-accept functions as arguments, but C doesn’t have closures.
+That said, one example of where you would want to only accept `fn` and not
+closures is when interfacing with external code that doesn’t have closures: C
+functions can accept functions as arguments, but C doesn’t have closures.
 -->
 
-クロージャではなく`fn`だけを受け入れたくなる箇所の一例は、クロージャのない外部コードとのインターフェイスです:
+とはいえ、クロージャではなく`fn`だけを受け入れたくなる箇所の一例は、
+クロージャのない外部コードとのインターフェイスです:
 C関数は引数として関数を受け入れられますが、Cにはクロージャがありません。
 
 <!--
@@ -111,19 +118,17 @@ couldだが、でしょうでは文を続けられないので、できるであ
 
 <!--
 As an example of where you could use either a closure defined inline or a named
-function, let’s look at a use of `map`. To use the `map` function to turn a
-vector of numbers into a vector of strings, we could use a closure, like this:
+function, let’s look at a use of the `map` method provided by the `Iterator`
+trait in the standard library. To use the `map` function to turn a vector of
+numbers into a vector of strings, we could use a closure, like this:
 -->
 
-インラインでクロージャが定義されるか、名前付きの関数を使用できるであろう箇所の例として、`map`の使用に目を向けましょう。
+インラインでクロージャが定義されるか、名前付きの関数を使用できるであろう箇所の例として、
+標準ライブラリの`Iterator`トレイトによって提供される`map`メソッドの使用に目を向けましょう。
 `map`関数を使用して数字のベクタを文字列のベクタに変換するには、このようにクロージャを使用できるでしょう:
 
 ```rust
-let list_of_numbers = vec![1, 2, 3];
-let list_of_strings: Vec<String> = list_of_numbers
-    .iter()
-    .map(|i| i.to_string())
-    .collect();
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-15-map-closure/src/main.rs:here}}
 ```
 
 <!--
@@ -134,33 +139,50 @@ like this:
 あるいは、このようにクロージャの代わりに`map`に引数として関数を名指しできるでしょう:
 
 ```rust
-let list_of_numbers = vec![1, 2, 3];
-let list_of_strings: Vec<String> = list_of_numbers
-    .iter()
-    .map(ToString::to_string)
-    .collect();
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-16-map-function/src/main.rs:here}}
 ```
 
 <!--
 Note that we must use the fully qualified syntax that we talked about earlier
-in the “Advanced Traits” section because there are multiple functions available
-named `to_string`. Here, we’re using the `to_string` function defined in the
-`ToString` trait, which the standard library has implemented for any type that
-implements `Display`.
+in the [“Advanced Traits”][advanced-traits] section because
+there are multiple functions available named `to_string`. Here, we’re using the
+`to_string` function defined in the `ToString` trait, which the standard
+library has implemented for any type that implements `Display`.
 -->
 
-先ほど「高度なトレイト」節で語ったフルパス記法を使わなければならないことに注意してください。
+先ほど[「高度なトレイト」][advanced-traits]節で語ったフルパス記法を使わなければならないことに注意してください。
 というのも、`to_string`という利用可能な関数は複数あるからです。ここでは、
 `ToString`トレイトで定義された`to_string`関数を使用していて、このトレイトは標準ライブラリが、
 `Display`を実装するあらゆる型に実装しています。
 
 <!--
-Some people prefer this style, and some people prefer to use closures. They end
-up compiling to the same code, so use whichever style is clearer to you.
+Recall from the [“Enum values”][enum-values] section of Chapter
+6 that the name of each enum variant that we define also becomes an initializer
+function. We can use these initializer functions as function pointers that
+implement the closure traits, which means we can specify the initializer
+functions as arguments for methods that take closures, like so:
+-->
+
+第6章の[「Enumの値」][enum-values]節で学んだように、
+各enum列挙子の名前は初期化子関数にもなることを思い出してください。
+これらの初期化子関数は、クロージャトレイトを実装する関数ポインタとして使用することができます。
+つまり、次のように、クロージャを取るメソッドの引数として初期化子関数を指定することができるのです:
+
+```rust
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-17-map-initializer/src/main.rs:here}}
+```
+
+<!--
+Here we create `Status::Value` instances using each `u32` value in the range
+that `map` is called on by using the initializer function of `Status::Value`.
+Some people prefer this style, and some people prefer to use closures. They
+compile to the same code, so use whichever style is clearer to you.
 -->
 
-このスタイルを好む方もいますし、クロージャを使うのを好む方もいます。どちらも結果的に同じコードにコンパイルされるので、
-どちらでも、自分にとって明確な方を使用してください。
+ここでは、`map`が呼ばれる範囲内の各`u32`値を使用して、
+`Status::Value`の初期化子関数を使用することで、`Status::Value`インスタンスを作成しています。
+このスタイルを好む方もいますし、クロージャを使うのを好む方もいます。
+どちらも結果的に同じコードにコンパイルされるので、どちらでも、自分にとって明確な方を使用してください。
 
 <!--
 ### Returning Closures
@@ -172,7 +194,7 @@ up compiling to the same code, so use whichever style is clearer to you.
 Closures are represented by traits, which means you can’t return closures
 directly. In most cases where you might want to return a trait, you can instead
 use the concrete type that implements the trait as the return value of the
-function. But you can’t do that with closures because they don’t have a
+function. However, you can’t do that with closures because they don’t have a
 concrete type that is returnable; you’re not allowed to use the function
 pointer `fn` as a return type, for example.
 -->
@@ -188,10 +210,8 @@ The following code tries to return a closure directly, but it won’t compile:
 
 以下のコードは、クロージャを直接返そうとしていますが、コンパイルできません:
 
-```rust,ignore
-fn returns_closure() -> Fn(i32) -> i32 {
-    |x| x + 1
-}
+```rust,ignore,does_not_compile
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-18-returns-closure/src/lib.rs}}
 ```
 
 <!--
@@ -200,18 +220,8 @@ The compiler error is as follows:
 
 コンパイルエラーは以下の通りです:
 
-```text
-error[E0277]: the trait bound `std::ops::Fn(i32) -> i32 + 'static:
-std::marker::Sized` is not satisfied
- -->
-  |
-1 | fn returns_closure() -> Fn(i32) -> i32 {
-  |                         ^^^^^^^^^^^^^^ `std::ops::Fn(i32) -> i32 + 'static`
-  does not have a constant size known at compile-time
-  |
-  = help: the trait `std::marker::Sized` is not implemented for
-  `std::ops::Fn(i32) -> i32 + 'static`
-  = note: the return type of a function must have a statically known size
+```console
+{{#include ../listings/ch19-advanced-features/no-listing-18-returns-closure/output.txt}}
 ```
 
 <!--
@@ -223,23 +233,36 @@ We can use a trait object:
 エラーは、再度`Sized`トレイトを参照しています！コンパイラには、クロージャを格納するのに必要なスペースがどれくらいかわからないのです。
 この問題の解決策は先ほど見かけました。トレイトオブジェクトを使えます:
 
-```rust
-fn returns_closure() -> Box<Fn(i32) -> i32> {
-    Box::new(|x| x + 1)
-}
+```rust,noplayground
+{{#rustdoc_include ../listings/ch19-advanced-features/no-listing-19-returns-closure-trait-object/src/lib.rs}}
 ```
 
 <!--
 This code will compile just fine. For more about trait objects, refer to the
-“Using Trait Objects That Allow for Values of Different Types” section in
-Chapter 17.
+section [“Using Trait Objects That Allow for Values of Different
+Types”][using-trait-objects-that-allow-for-values-of-different-types]
+in Chapter 17.
 -->
 
 このコードは、問題なくコンパイルできます。トレイトオブジェクトについて詳しくは、
-第17章の「トレイトオブジェクトで異なる型の値を許容する」節を参照してください。
+第17章の[「トレイトオブジェクトで異なる型の値を許容する」][using-trait-objects-that-allow-for-values-of-different-types]節を参照してください。
 
 <!--
 Next, let’s look at macros!
 -->
 
 次は、マクロを見てみましょう！
+
+<!--
+[advanced-traits]:
+ch19-03-advanced-traits.html#advanced-traits
+[enum-values]: ch06-01-defining-an-enum.html#enum-values
+[using-trait-objects-that-allow-for-values-of-different-types]:
+ch17-02-trait-objects.html#using-trait-objects-that-allow-for-values-of-different-types
+-->
+
+[advanced-traits]:
+ch19-03-advanced-traits.html#高度なトレイト
+[enum-values]: ch06-01-defining-an-enum.html#enumの値
+[using-trait-objects-that-allow-for-values-of-different-types]:
+ch17-02-trait-objects.html#トレイトオブジェクトで異なる型の値を許容する
diff --git a/src/ch19-06-macros.md b/src/ch19-06-macros.md
index 6e6279568..e010bd0f8 100644
--- a/src/ch19-06-macros.md
+++ b/src/ch19-06-macros.md
@@ -104,9 +104,9 @@ opposed to functions you can define anywhere and call anywhere.
 ### 一般的なメタプログラミングのために`macro_rules!`で宣言的なマクロ
 
 <!--
-The most widely used form of macros in Rust is *declarative macros*. These are
-also sometimes referred to as “macros by example,” “`macro_rules!` macros,” or
-just plain “macros.” At their core, declarative macros allow you to write
+The most widely used form of macros in Rust is the *declarative macro*. These
+are also sometimes referred to as “macros by example,” “`macro_rules!` macros,”
+or just plain “macros.” At their core, declarative macros allow you to write
 something similar to a Rust `match` expression. As discussed in Chapter 6,
 `match` expressions are control structures that take an expression, compare the
 resulting value of the expression to patterns, and then run the code associated
@@ -160,7 +160,7 @@ Listing 19-28 shows a slightly simplified definition of the `vec!` macro.
 -->
 <span class="filename">ファイル名: src/lib.rs</span>
 
-```rust
+```rust,noplayground
 {{#rustdoc_include ../listings/ch19-advanced-features/listing-19-28/src/lib.rs}}
 ```
 
@@ -217,28 +217,28 @@ one arm.
 Valid pattern syntax in macro definitions is different than the pattern syntax
 covered in Chapter 18 because macro patterns are matched against Rust code
 structure rather than values. Let’s walk through what the pattern pieces in
-Listing 19-28 mean; for the full macro pattern syntax, see [the reference].
+Listing 19-28 mean; for the full macro pattern syntax, see the [Rust
+Reference][ref].
 -->
 
 マクロ定義で合法なパターン記法は、第18章で講義したパターン記法とは異なります。というのも、
 マクロのパターンは値ではなく、Rustコードの構造に対してマッチされるからです。リスト19-28のパターンの部品がどんな意味か見ていきましょう;
-マクロパターン記法全ては[参考文献]をご覧ください。
-
-<!--
-[the reference]: ../reference/macros-by-example.html
--->
-
-[参考文献]: https://doc.rust-lang.org/reference/macros.html
+マクロパターン記法全ては[Rust Reference][ref]をご覧ください。
 
 <!--
-First, a set of parentheses encompasses the whole pattern. A dollar sign (`$`)
-is next, followed by a set of parentheses that captures values that match the
-pattern within the parentheses for use in the replacement code. Within `$()` is
-`$x:expr`, which matches any Rust expression and gives the expression the name
-`$x`.
+First, we use a set of parentheses to encompass the whole pattern. We use a
+dollar sign (`$`) to declare a variable in the macro system that will contain
+the Rust code matching the pattern. The dollar sign makes it clear this is a
+macro variable as opposed to a regular Rust variable. Next comes a set of
+parentheses that captures values that match the pattern within the parentheses
+for use in the replacement code. Within `$()` is `$x:expr`, which matches any
+Rust expression and gives the expression the name `$x`.
 -->
 
-まず、1組のカッコがパターン全体を囲んでいます。次にドル記号(`$`)、そして1組のカッコが続き、
+まず、パターン全体を囲む1組の丸かっこを使用しています。次に、
+パターンにマッチするRustコードを含むマクロシステム内の変数を宣言するために、
+ドル記号(`$`)を使用しています。このドル記号は、
+これが通常のRust変数ではなくマクロ変数であることを明確にしています。次に1組のカッコが続き、
 このかっこは、置き換えるコードで使用するためにかっこ内でパターンにマッチする値をキャプチャします。
 `$()`の内部には、`$x:expr`があり、これは任意のRust式にマッチし、その式に`$x`という名前を与えます。
 
@@ -295,17 +295,21 @@ have a second kind of declarative macro that will work in a similar fashion but
 fix some of these edge cases. After that update, `macro_rules!` will be
 effectively deprecated. With this in mind, as well as the fact that most Rust
 programmers will *use* macros more than *write* macros, we won’t discuss
-`macro_rules!` any further. To learn more about how to write macros, consult
-the online documentation or other resources, such as [“The Little Book of Rust
-Macros”][tlborm].
+`macro_rules!` any further.
 -->
 `macro_rules!`には、いくつかの奇妙なコーナーケースがあります。
 将来、Rustには別種の宣言的マクロが登場する予定です。これは、同じように働くけれども、それらのコーナーケースのうちいくらかを修正します。
 そのアップデート以降、`macro_rules!`は事実上非推奨 (deprecated) となる予定です。
 この事実と、ほとんどのRustプログラマーはマクロを*書く*よりも*使う*ことが多いということを考えて、`macro_rules!`についてはこれ以上語らないことにします。
-もしマクロの書き方についてもっと知りたければ、オンラインのドキュメントや、[“The Little Book of Rust Macros”][tlborm]のようなその他のリソースを参照してください。
 
-[tlborm]: https://danielkeep.github.io/tlborm/book/index.html
+<!--
+To learn more about how to write macros, consult the online documentation or
+other resources, such as [“The Little Book of Rust Macros”][tlborm] started by
+Daniel Keep and continued by Lukas Wirth.
+-->
+もしマクロの書き方についてもっと知りたければ、オンラインのドキュメントや、
+Daniel Keepによって開始されLukas Wirthによって継続されている[“The Little Book of Rust Macros”][tlborm]のような、
+その他のリソースを参照してください。
 
 <!--
 ### Procedural Macros for Generating Code from Attributes
@@ -313,33 +317,31 @@ Macros”][tlborm].
 ### 属性からコードを生成する手続き的マクロ
 
 <!--
-The second form of macros is *procedural macros*, which act more like functions
-(and are a type of procedure). Procedural macros accept some code as an input,
-operate on that code, and produce some code as an output rather than matching
-against patterns and replacing the code with other code as declarative macros
-do.
+The second form of macros is the *procedural macro*, which acts more like a
+function (and is a type of procedure). Procedural macros accept some code as an
+input, operate on that code, and produce some code as an output rather than
+matching against patterns and replacing the code with other code as declarative
+macros do. The three kinds of procedural macros are custom derive,
+attribute-like, and function-like, and all work in a similar fashion.
 -->
 2つ目のマクロの形は、*手続き的マクロ*と呼ばれ、より関数のように働きます（そして一種の手続きです）。
 宣言的マクロがパターンマッチングを行い、マッチしたコードを他のコードで置き換えていたのとは違い、
 手続き的マクロは、コードを入力として受け取り、そのコードに対して作用し、出力としてコードを生成します。
-
-<!--
-The three kinds of procedural macros (custom derive, attribute-like, and
-function-like) all work in a similar fashion.
--->
-3種の手続き的マクロ (カスタムのderiveマクロ, 属性風マクロ、関数風マクロ)はみな同じような挙動をします。
+カスタムのderiveマクロ、属性風マクロ、関数風マクロの、3種の手続き的マクロがあり、
+これらはみな同じように機能します。
 
 
 <!--
 When creating procedural macros, the definitions must reside in their own crate
 with a special crate type. This is for complex technical reasons that we hope
-to eliminate in the future. Using procedural macros looks like the code in
-Listing 19-29, where `some_attribute` is a placeholder for using a specific
-macro.
+to eliminate in the future. In Listing 19-29, we show how to define a
+procedural macro, where `some_attribute` is a placeholder for using a specific
+macro variety.
 -->
 手続き的マクロを作る際は、その定義はそれ専用の特殊なクレート内に置かれる必要があります。
 これは複雑な技術的理由によるものであり、将来的には解消したいです。
-手続き的マクロを使うとListing 19-29のコードのようになります。`some_attribute`がそのマクロを使うためのプレースホールダーです。
+リスト19-29では、手続き的マクロを定義する方法を示しています。
+`some_attribute`がそのマクロを使うためのプレースホールダーです。
 
 <!--
 <span class="filename">Filename: src/lib.rs</span>
@@ -355,10 +357,10 @@ pub fn some_name(input: TokenStream) -> TokenStream {
 ```
 
 <!--
-<span class="caption">Listing 19-29: An example of using a procedural
+<span class="caption">Listing 19-29: An example of defining a procedural
 macro</span>
 -->
-<span class="caption">Listing 19-29: 手続き的マクロの使用例</span>
+<span class="caption">リスト19-29: 手続き的マクロの定義例</span>
 
 <!--
 The function that defines a procedural macro takes a `TokenStream` as an input
@@ -392,8 +394,8 @@ other forms different.
 <!--
 Let’s create a crate named `hello_macro` that defines a trait named
 `HelloMacro` with one associated function named `hello_macro`. Rather than
-making our crate users implement the `HelloMacro` trait for each of their
-types, we’ll provide a procedural macro so users can annotate their type with
+making our users implement the `HelloMacro` trait for each of their types,
+we’ll provide a procedural macro so users can annotate their type with
 `#[derive(HelloMacro)]` to get a default implementation of the `hello_macro`
 function. The default implementation will print `Hello, Macro! My name is
 TypeName!` where `TypeName` is the name of the type on which this trait has
@@ -403,7 +405,7 @@ programmer to write code like Listing 19-30 using our crate.
 
 `hello_macro`という名前のクレートを作成してみましょう。
 このクレートは、`hello_macro`という関連関数が1つある`HelloMacro`というトレイトを定義します。
-クレートの使用者に使用者の型に`HelloMacro`トレイトを実装することを強制するのではなく、
+使用者側に使用者の型に`HelloMacro`トレイトを実装することを強制するのではなく、
 使用者が型を`#[derive(HelloMacro)]`で注釈して`hello_macro`関数の既定の実装を得られるように、
 手続き的マクロを提供します。既定の実装は、`Hello, Macro! My name is TypeName!`(`訳注`: こんにちは、マクロ！僕の名前はTypeNameだよ！)と出力し、
 ここで`TypeName`はこのトレイトが定義されている型の名前です。言い換えると、他のプログラマに我々のクレートを使用して、
@@ -448,7 +450,7 @@ Next, we’ll define the `HelloMacro` trait and its associated function:
 
 <span class="filename">ファイル名: src/lib.rs</span>
 
-```rust
+```rust,noplayground
 {{#rustdoc_include ../listings/ch19-advanced-features/no-listing-20-impl-hellomacro-for-pancakes/hello_macro/src/lib.rs}}
 ```
 
@@ -545,7 +547,7 @@ in a moment, so we need to add them as dependencies. Add the following to the
 <span class="filename">ファイル名: hello_macro_derive/Cargo.toml</span>
 
 ```toml
-{{#include ../listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/Cargo.toml:7:12}}
+{{#include ../listings/ch19-advanced-features/listing-19-31/hello_macro/hello_macro_derive/Cargo.toml:6:12}}
 ```
 
 <!--
@@ -598,9 +600,6 @@ allows us to read and manipulate Rust code from our code.
 3つの新しいクレートを導入しました: `proc_macro`、[`syn`]、[`quote`]です。`proc_macro`クレートは、
 Rustに付随してくるので、*Cargo.toml*の依存に追加する必要はありませんでした。`proc_macro`クレートはコンパイラのAPIで、私達のコードからRustのコードを読んだり操作したりすることを可能にします。
 
-[`syn`]: https://crates.io/crates/syn
-[`quote`]: https://crates.io/crates/quote
-
 <!--
 The `syn` crate parses Rust code from a string into a data structure that we
 can perform operations on. The `quote` crate turns `syn` data structures back
@@ -617,7 +616,7 @@ Rustコードの完全なパーサを書くのは、単純な作業ではない
 The `hello_macro_derive` function will be called when a user of our library
 specifies `#[derive(HelloMacro)]` on a type. This is possible because we’ve
 annotated the `hello_macro_derive` function here with `proc_macro_derive` and
-specified the name, `HelloMacro`, which matches our trait name; this is the
+specified the name `HelloMacro`, which matches our trait name; this is the
 convention most procedural macros follow.
 -->
 `hello_macro_derive`関数は、ライブラリの使用者が型に`#[derive(HelloMacro)]`を指定した時に呼び出されます。
@@ -636,7 +635,7 @@ struct we get from parsing the `struct Pancakes;` string:
 この関数はまず、`TokenStream`からの`input`をデータ構造に変換し、解釈したり操作したりできるようにします。
 ここで`syn`が登場します。
 `syn`の`parse`関数は`TokenStream`を受け取り、パースされたRustのコードを表現する`DeriveInput`構造体を返します。
-Listing 19-32は`struct Pancakes;`という文字列をパースすることで得られる`DeriveInput`構造体の関係ある部分を表しています。
+リスト19-32は`struct Pancakes;`という文字列をパースすることで得られる`DeriveInput`構造体の関係ある部分を表しています。
 
 ```rust,ignore
 DeriveInput {
@@ -662,7 +661,7 @@ DeriveInput {
 <span class="caption">Listing 19-32: The `DeriveInput` instance we get when
 parsing the code that has the macro’s attribute in Listing 19-30</span>
 -->
-<span class="caption">Listing 19-32: このマクロを使った属性を持つListing 19-30のコードをパースしたときに得られる`DeriveInput`インスタンス</span>
+<span class="caption">リスト19-32: このマクロを使った属性を持つリスト19-30のコードをパースしたときに得られる`DeriveInput`インスタンス</span>
 
 <!--
 The fields of this struct show that the Rust code we’ve parsed is a unit struct
@@ -671,8 +670,6 @@ fields on this struct for describing all sorts of Rust code; check the [`syn`
 documentation for `DeriveInput`][syn-docs] for more information.
 -->
 
-[syn-docs]: https://docs.rs/syn/1.0/syn/struct.DeriveInput.html
-
 この構造体のフィールドは、構文解析したRustコードが`Pancakes`という`ident`(識別子、つまり名前)のユニット構造体であることを示しています。
 この構造体にはRustコードのあらゆる部分を記述するフィールドがもっと多くあります;
 [`DeriveInput`の`syn`ドキュメンテーション][syn-docs]で詳細を確認してください。
@@ -715,7 +712,7 @@ into a `DeriveInput` instance, let’s generate the code that implements the
 -->
 
 今や、`TokenStream`からの注釈されたRustコードを`DeriveInput`インスタンスに変換するコードができたので、
-Listing 19-33のように、注釈された型に`HelloMacro`トレイトを実装するコードを生成しましょう:
+リスト19-33のように、注釈された型に`HelloMacro`トレイトを実装するコードを生成しましょう:
 
 <!--
 <span class="filename">Filename: hello_macro_derive/src/lib.rs</span>
@@ -731,7 +728,7 @@ Listing 19-33のように、注釈された型に`HelloMacro`トレイトを実
 <span class="caption">Listing 19-33: Implementing the `HelloMacro` trait using
 the parsed Rust code</span>
 -->
-<span class="caption">Listing 19-33: パースされたRustコードを用いて`HelloMacro`トレイトを実装する</span>
+<span class="caption">リスト19-33: パースされたRustコードを用いて`HelloMacro`トレイトを実装する</span>
 
 <!--
 We get an `Ident` struct instance containing the name (identifier) of the
@@ -744,8 +741,8 @@ Listing 19-30.
 -->
 
 `ast.ident`を使って、注釈された型の名前(識別子)を含む`Ident`構造体インスタンスを得ています。
-Listing 19-32の構造体を見ると、`impl_hello_macro`関数をListing 19-30のコードに実行したときに私達の得る`ident`は、フィールド`ident`の値として`"Pancakes"`を持つだろうとわかります。
-従って、Listing 19-33における変数`name`は構造体`Ident`のインスタンスをもちます。このインスタンスは、printされた時は文字列`"Pancakes"`、即ちListing 19-30の構造体の名前となります。
+リスト19-32の構造体を見ると、`impl_hello_macro`関数をリスト19-30のコードに実行したときに私達の得る`ident`は、フィールド`ident`の値として`"Pancakes"`を持つだろうとわかります。
+従って、リスト19-33における変数`name`は構造体`Ident`のインスタンスをもちます。このインスタンスは、printされた時は文字列`"Pancakes"`、即ちリスト19-30の構造体の名前となります。
 
 <!--
 The `quote!` macro lets us define the Rust code that we want to return. The
@@ -770,12 +767,10 @@ Check out [the `quote` crate’s docs][quote-docs] for a thorough introduction.
 それを`name`という変数の値と置き換えます。普通のマクロが動作するのと似た繰り返しさえ行えます。
 本格的に入門したいなら、[`quote`クレートのdoc][quote-docs]をご確認ください。
 
-[quote-docs]: https://docs.rs/quote
-
 <!--
 We want our procedural macro to generate an implementation of our `HelloMacro`
 trait for the type the user annotated, which we can get by using `#name`. The
-trait implementation has one function, `hello_macro`, whose body contains the
+trait implementation has the one function `hello_macro`, whose body contains the
 functionality we want to provide: printing `Hello, Macro! My name is` and then
 the name of the annotated type.
 -->
@@ -901,11 +896,11 @@ Function-like macros define macros that look like function calls. Similarly to
 `macro_rules!` macros, they’re more flexible than functions; for example, they
 can take an unknown number of arguments. However, `macro_rules!` macros can be
 defined only using the match-like syntax we discussed in the section
-[“Declarative Macros with `macro_rules!` for General Metaprogramming”][decl]
-earlier. Function-like macros take a `TokenStream` parameter and their
-definition manipulates that `TokenStream` using Rust code as the other two
-types of procedural macros do. An example of a function-like macro is an `sql!`
-macro that might be called like so:
+[“Declarative Macros with `macro_rules!` for General
+Metaprogramming”][decl] earlier. Function-like macros take a
+`TokenStream` parameter and their definition manipulates that `TokenStream`
+using Rust code as the other two types of procedural macros do. An example of a
+function-like macro is an `sql!` macro that might be called like so:
 
 [decl]: #declarative-macros-with-macro_rules-for-general-metaprogramming
 -->
@@ -916,8 +911,6 @@ macro that might be called like so:
 関数風マクロは引数として`TokenStream`をとり、その`TokenStream`を定義に従って操作します。操作には、他の2つの手続き的マクロと同じように、Rustコードが使われます。
 例えば、`sql!`マクロという関数風マクロで、以下のように呼び出されるものを考えてみましょう：
 
-[decl]: #%E4%B8%80%E8%88%AC%E7%9A%84%E3%81%AA%E3%83%A1%E3%82%BF%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E3%81%AE%E3%81%9F%E3%82%81%E3%81%ABmacro_rules%E3%81%A7%E5%AE%A3%E8%A8%80%E7%9A%84%E3%81%AA%E3%83%9E%E3%82%AF%E3%83%AD
-
 ```rust,ignore
 let sql = sql!(SELECT * FROM posts WHERE id=1);
 ```
@@ -948,15 +941,16 @@ generate.
 ## まとめ
 
 <!--
-Whew! Now you have some Rust features in your toolbox that you won’t use often,
-but you’ll know they’re available in very particular circumstances. We’ve
-introduced several complex topics so that when you encounter them in error
-message suggestions or in other peoples’ code, you’ll be able to recognize
-these concepts and syntax. Use this chapter as a reference to guide you to
-solutions.
+Whew! Now you have some Rust features in your toolbox that you likely won’t use
+often, but you’ll know they’re available in very particular circumstances.
+We’ve introduced several complex topics so that when you encounter them in
+error message suggestions or in other peoples’ code, you’ll be able to
+recognize these concepts and syntax. Use this chapter as a reference to guide
+you to solutions.
 -->
 ふう！
-あなたがいま手にしたRustの機能はあまり頻繁に使うものではありませんが、非常に特殊な状況ではその存在を思い出すことになるでしょう。
+あなたがいま手にしたRustの機能はおそらくあまり頻繁に使うものではありませんが、
+非常に特殊な状況ではその存在を思い出すことになるでしょう。
 たくさんの難しいトピックを紹介しましたが、これは、もしあなたがエラー時の推奨メッセージや他の人のコードでそれらに遭遇した時、その概念と文法を理解できるようになっていてほしいからです。
 この章を、解決策にたどり着くためのリファレンスとして活用してください。
 
@@ -965,3 +959,21 @@ Next, we’ll put everything we’ve discussed throughout the book into practice
 and do one more project!
 -->
 次は、この本で話してきたすべてのことを実際に使って、もう一つプロジェクトをやってみましょう！
+
+<!--
+[ref]: ../reference/macros-by-example.html
+[tlborm]: https://veykril.github.io/tlborm/
+[`syn`]: https://crates.io/crates/syn
+[`quote`]: https://crates.io/crates/quote
+[syn-docs]: https://docs.rs/syn/1.0/syn/struct.DeriveInput.html
+[quote-docs]: https://docs.rs/quote
+[decl]: #declarative-macros-with-macro_rules-for-general-metaprogramming
+-->
+
+[ref]: https://docs.rust-lang.org/reference/macros-by-example.html
+[tlborm]: https://veykril.github.io/tlborm/
+[`syn`]: https://crates.io/crates/syn
+[`quote`]: https://crates.io/crates/quote
+[syn-docs]: https://docs.rs/syn/1.0/syn/struct.DeriveInput.html
+[quote-docs]: https://docs.rs/quote
+[decl]: #一般的なメタプログラミングのためにmacro_rulesで宣言的なマクロ