1枚目と2枚目: importするモジュールによって片方がエラー 3枚目: 両方importすると片方がエラー

10:31 AM

↑この例だと、２つインポートした場合は、片方のconformanceは無かった事になっているとみなせると思います。

10:33 AM

ただこれは半分ダイナミックなケースですね。ジェネリック関数を呼び出すところでダイナミックなABIを通すけど、その前の型検査は静的にやっているので。完全にダイナミックなケース(Any からキャストする)を実験しようとしたんですが、associatedtypeを具象型に含めてキャストするのって今はできない気がする？

10:33 AM

as? any Sequence<Int> が書けたらいいんですけど

10:34 AM

自分のマシンがMontreryだからまだできないかも (edited)