@swift-main

protocol P<A> { associatedtype A } protocol Q {} func f(_ v: any P<Int>) {} func g(_ v: any (P<Int> & Q)) {} func h(_ v: any (P & Q)) {}

(edited)