@swift-main@swift-4.0.3 -Xfrontend -debug-constraints enum O<W> { case some(W) } if case O<Int>.some(..<0) = O<Int>.some(-1) { print("OK") } Optionalかどうかは関係なく、caseで型チェックに失敗したら、指定の型シグネチャが同じ場合にdeep equalityって仕組みが働いてるぽい？この場合はO<Int>.someを取り除いて型推論されてる様に見える。 (edited)