Translate a paragraph

Author: toku-sa-n

src/subtyping.md

@@ -171,8 +171,14 @@ longer lived things where shorted lived things are expected.
 合理的であるからです。間接参照の段階が増えても、短く生きるものが求められている
 場合により長く生きるものを渡せるようにするという願いは変わりません。
 
+<!--
 However this logic doesn't apply to `&mut`. To see why `&mut` should
 be invariant over T, consider the following code:
+-->
+
+しかしながら、この論理は `&mut` には適用できません。
+なぜ `&mut` が T において非変性であるべきかを確認するために、
+次のコードを考えてみましょう。
 
 ```rust,ignore
 fn overwrite<T: Copy>(input: &mut T, new: &mut T) {