@favoredOverload(1)
@favoredOverload(2)
protocol P1 { func f(a: Int) } protocol P2 { func f(a: Double) } func main(x: P1 & P2) { x.f(a: 0) }