P を型として書くのは existential であることを意識しないで使ってしまうので廃止してほしい。

6:37 AM

P を Any<P> と書かないといけなければ、 func foo<T : P>(_ x: T) が望ましいものが func foo(_ x: P) と書かれるケースが減りそう。 func foo(_ x: Any<P>) だと気持ち悪さがあるので。 (edited)