@swift-5.10.1
protocol P {} protocol P2: P {} protocol Q {} func f(_ v: (any P)...) { print("(any P)...") } func f(_ v: some (P2 & Q)) { print("some (P2 & Q)") } struct S: P2, Q {} f(S())