@swift-6.2.3 func f(_ v: [any Identifiable]) { v.map(\.id) }