norio_nomura

あ、推論できないではなく、型推論してもその型で使えるfunc ~=がない場合かな。

ふむー、enum のジェネリック引数とパターン中の Associated Value の値っぽく見える部分の型が一致しない場合みたいな感じですかね? とはいえ例に挙げられている enum O<W> { case some(W) } if case O<Int>.some(..<0) = O<Int>.some(-1) { print("OK") } の場合、全て一致するcase O<Int>.some(-1) = O<Int>.some(-1) でも型推論の動作は同様だと思います。 (edited)