これと同等のことをやりたいということではなく、 AnyCollection を使った場合に↑の二つのコードを区別してコンパイル時の挙動を変える話。

12:10 AM

現在は実行時エラー側に倒されてるけど、 path-dependent type で実行時エラーになるケースだけをコンパイルエラーにできるんじゃないのかな？