var c: AnyCollection<Int> = foo() let s = c.startIndex print(c[s]) // 絶対OK c = goo() print(c[s]) //クラッシュしうる

(edited)

3:08 PM

↑こういう問題があるんです

3:09 PM

で、僕のさっきのアイデアだと、これを正しく、絶対OKの方はコンパイルできて、クラッシュしうる方はコンパイルできない

3:09 PM

って型チェックができる。