おもしろいですね。問題を整理すると、 a, b は型が Array<Int> に確定しているので、 if a == b {} は問題ないのですが、リテラルを直接書いた場合（ if [1] == [1] {} ）は、演算子 == リテラルをどの型として評価すべきか１つに定まらないから、ですね。ちなみに問題は == に配列リテラルを渡したときに、配列リテラルからインスタンスできる型が複数あるからですね。（IndexzSetとIndexPath?）例えばFoundationをImportしなければそれは存在しないので、上記のコードもコンパイルできます。 (edited)