Translate a paragraph

Author: toku-sa-n

src/subtyping.md

@@ -159,10 +159,17 @@ where shorter-lived things are needed.
 これは、短く生きるものが必要なときに、より長く生きるものを渡せるようにするために、
 望ましいものなのです。
 
+<!--
 Similar reasoning applies to why it should be variant over T. It is reasonable
 to be able to pass `&&'static str` where an `&&'a str` is expected. The
 additional level of indirection does not change the desire to be able to pass
 longer lived things where shorted lived things are expected.
+-->
+
+似た理由が、なぜ `&'a T` が `T` において変性であるべきかについて適用できます。
+`&&'a str` が求められている場所で `&&'static str` を渡せるようにすることが
+合理的であるからです。間接参照の段階が増えても、短く生きるものが求められている
+場合により長く生きるものを渡せるようにするという願いは変わりません。
 
 However this logic doesn't apply to `&mut`. To see why `&mut` should
 be invariant over T, consider the following code: