手動定義の場合は AnyCollection<Element, Indices> にすれば型安全にできる気がするけど、 generalized existential って必ずしもすべての associated type を指定しなければならないわけじゃないから、その辺りの型安全性を解決するのに path-dependent type が必要という話なんじゃないかな？ (edited)