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