@swift-5.2.5
class Cat {} class Dog {} struct Foo<Value> { var value: Value } extension Foo { func f() -> Dog { Dog() } } extension Foo where Value == Int { func f() -> Cat { Cat() } } print(Foo<Int>(value: 42).f())