それは、 protocol P に対して P型(existential)それ自体は P に準拠しないから

6:36 AM

<Failure : Error(これはプロトコル) > にたいして Failure == Error ( これはExistential)

6:37 AM

を制約しても意味ないから、間違ってるよってエラーです

6:37 AM

このプロポーザルによって、

6:37 AM

Error(exis)型それ自体もErrorプロトコルであるように、

6:37 AM

変更されるから

6:37 AM

その言語仕様の変更とセットじゃないと意味がないコード。