protocol Q { associatedtype A associatedtype B where A == Int } associatedtypeの右側のwhere、左辺の型と全然関係ないこと書けるんだなぁ

9:01 AM

ここに書けた方が便利ではあるけど、意味的にはprotocol宣言についてるwhereと全く同じか