@swift-main @swift-5.8.1

protocol P {} protocol Q<T> { associatedtype T } typealias PQ<T> = P & Q<T> func f() { let foo: any Q<Int> let bar: any P & Q<Int> let baz: any (P & Q<Int>) let qux: any PQ<Int> }

(edited)