protocol Z<T> { associatedtype R ... } func baz(_ z: Z<Int, .R == Int>) { ... }

7:38 AM

もし、Parameterized Protocolが導入された未来において、< >の記法が、ジェネリックパラメータとassoctypeの両方をまとめて書く事になっちゃうけど、ギリ衝突はしない