でも、そもそも existential が、

3:06 PM

型を値レベルで閉じ込める仕組みだから

3:06 PM

値単位で型が変わるのは理論的に正しいと思う

3:06 PM

仕様としてわかりにくいからやめとこうっていう意見はわかりますけど。

3:07 PM

ただその場合、現状のAnyCollectionで可能な var c: AnyCollection<Int> = foo() print(c[c.startIndex])