Avatar
omochimetaru 10/27/2017 5:55 AM
そのルールが間違っているように思います
5:55 AM
実際、手書きで type erasure を書いたときはそうだし、組み込みのAnySequence は Sequenceだし。
5:56 AM
typealias AnySequence<Element> = Any<Sequence where .Iterator.Element == Element> let strings: AnySequence<String> = ["a", "b", "c"]
5:57 AM
manifestoのgeneralized existentialのところに、↑の例もありますが、これが実装された時互換性の観点からもAnySequene : Sequence になるはず