それはそれで、出来たほうが良いと思います

3:13 PM

そうじゃないと、もし↑のsomeの案だと、たとえIndexが同じであっても、コンパイルエラーになっちゃうから、

3:13 PM

.Index == Int の指定があるなら、再代入の前後でIndexに型互換性があることをチェックできる。

3:14 PM

.Index == Hoge の指定を省略した時の挙動を考えてました。