@swiftbot protocol P { associatedtype X = Int func f(_ x: X) } extension P { func f(_ x: X) {} } struct S: P { func f(_ x: X) {} }