↓は単なる代入時の暗黙の変換よりも踏み込んだことを意図しているのかと思ったけど、そうじゃないのかな？
Substring should be a subtype of String in the same way that Int is a subtype of Optional<Int>.