@swift-6.2.1
protocol P { associatedtype ID var id: ID { get } } protocol P2: P where ID == Int {} func f(_ v: [any P2]) { v.map(\.id) }