@swift-5.3.3 protocol P { func p() -> Int } struct S<T> {} extension P { func p() -> Int { 1 } } extension S : P where T == Int {}