ああ勘違いしていました。enumの場合、そもそもジェネリックパラメータ違いのものをcaseでマッチできないんだ。func ~=を提供すれば使えると思ってた。 @swift-main

enum O<W> { case some(W) static func ~=<L, R> (l: O<L>, r: O<R>) -> Bool { return true } } if case O<Double>.some(..<0) = O<Int>.some(-1) { print("OK") }