うーん。any の導入はそもそも、 P と <: P> が同じ見た目なのに意味が違うのがわかりづらい、それによってユーザーがSwiftを理解するのを困難にしている、という課題から始まった話なので

4:04 AM

Result<Int, Error> ←これこそまさに、 Errorのself coformanceがあるせいで、余計に何が起きてるかわかりづらい一例なので

4:04 AM

Result<Int, any Error> と書かなければならないようにすることで、

4:04 AM

ユーザーが existential型と protocol制約の2つがあることを理解する助けになって良いのではないだろうか

4:05 AM

むしろResultとセットでよく見かけるErrorにこのルールが適用されないと、さらなる混乱を生みそう。 (edited)