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