↑（代入）だけなら暗黙の型変換ととらえることができるので、優先順位さえ決めれば一意に決められると思います。

9:37 AM

オーバーライドして戻り値狭めたり引数広めたりしたときにも問題ないかな・・・。

9:37 AM

あと、今は Array や Optional でしかできないけど、 Covariant な型パラメータと組み合わせて問題ないか。