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