From 8304bee18c20572b38fc08c857c2cd34c03e8791 Mon Sep 17 00:00:00 2001 From: toku-sa-n Date: Mon, 8 Jun 2020 00:19:24 +0900 Subject: [PATCH] =?UTF-8?q?Add=20"=E3=80=81"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/subtyping.md b/src/subtyping.md index 4ce8e8c..48cc675 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -253,7 +253,7 @@ them. `Box` と `Vec` は興味深いケースです。なぜなら、これらは変性であるのに、 この中に値を保存できるからです! これは Rust が本当に賢いところです: これらにとって、 -変性であることは問題ないのです。なぜなら値を*可変参照を通して*だけ +変性であることは問題ないのです。なぜなら、値を*可変参照を通して*だけ 値を保存できるからです! 可変参照はすべての型を非変性にします。そしてそれ故に 短く生きる型をこっそり入れることを防ぐのです。