Avatar
omochimetaru 3/24/2021 5:51 PM
protocol IntCollection: RangeReplaceableCollection where Self.Element == Int {} こういうふうにassociatedtypeを埋めて再定義してやれば使えるけど
5:51 PM
汎用的に any Collection<Element = Int> みたいにパラメータを埋められる、
5:52 PM
いわゆる generalized existential ではないっぽいね
5:53 PM
この範囲であれば実は現状でも、
5:53 PM
問題が起こらないメンバだけ集めた別名のプロトコルが定義してあれば、できるんだよな
5:53 PM
後付はできないけど