Skip to content

Commit 5ff7a2c

Browse files
committed
Add linebreaks for readability
1 parent 215b68c commit 5ff7a2c

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

src/subtyping.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -49,16 +49,17 @@ arbitrary construct that some disagree with. However it simplifies our analysis
4949
to treat lifetimes and types uniformly.)
5050
-->
5151

52-
(派生型の関係とライフタイムの型付けはかなり無理やりな構成で、これに反対する人もいることに注意してください。しかしながら、この構成によって分析が単純となり、ライフタイムと型を同じように扱えます。)
53-
52+
(派生型の関係とライフタイムの型付けはかなり無理やりな構成で、これに反対する人もいることに注意してください。
53+
しかしながら、この構成によって分析が単純となり、ライフタイムと型を同じように扱えます。)
5454

5555
<!--
5656
Higher-ranked lifetimes are also subtypes of every concrete lifetime. This is
5757
because taking an arbitrary lifetime is strictly more general than taking a
5858
specific one.
5959
-->
6060

61-
高階ライフタイムもまた、あらゆる具象ライフタイムの派生型です。これは、任意のライフタイムを取ることは、ある特定のライフタイムを取ることよりも厳密により一般的であるからです。
61+
高階ライフタイムもまた、あらゆる具象ライフタイムの派生型です。
62+
これは、任意のライフタイムを取ることは、ある特定のライフタイムを取ることよりも厳密により一般的であるからです。
6263

6364
# Variance
6465

0 commit comments

Comments
 (0)