@swift-main protocol P { func f(a: Int) } struct S: P { func f(a: Int, b: Int = 0) {} }