@swift-5.2.5
struct Foo<Failure: Error> { var value: Failure? } extension Foo { func f() -> Result<Int, Failure> { .success(1) } } extension Foo where Failure == Never { func f() -> Int { 2 } } print(Foo<Never>().f())