Sema: Fix isValidKeyPathDynamicMemberLookup() for noncopyable generics

Author: slavapestov

lib/Sema/TypeCheckAttr.cpp

@@ -1848,9 +1848,18 @@ bool swift::isValidKeyPathDynamicMemberLookup(SubscriptDecl *decl,
     auto layout = existential->getExistentialLayout();
 
     auto protocols = layout.getProtocols();
-    if (!(protocols.size() == 1 &&
-          protocols[0] == ctx.getProtocol(KnownProtocolKind::Sendable)))
+    if (!llvm::all_of(protocols,
+                      [&](ProtocolDecl *proto) {
+                        if (proto->isSpecificProtocol(KnownProtocolKind::Sendable))
+                          return true;
+
+                        if (proto->getInvertibleProtocolKind())
+                          return true;
+
+                        return false;
+                      })) {
       return false;
+    }
 
     paramTy = layout.getSuperclass();
     if (!paramTy)

test/Concurrency/sendable_keypaths.swift

@@ -1,7 +1,5 @@
 // RUN: %target-typecheck-verify-swift -enable-upcoming-feature InferSendableFromCaptures -strict-concurrency=complete
 
-// XFAIL: noncopyable_generics
-
 // REQUIRES: concurrency
 // REQUIRES: asserts
 

test/Interpreter/keypath.swift

@@ -1,7 +1,5 @@
 // RUN: %target-run-simple-swift | %FileCheck %s
 
-// XFAIL: noncopyable_generics
-
 // REQUIRES: executable_test
 
 // UNSUPPORTED: use_os_stdlib

test/attr/attr_dynamic_member_lookup.swift

@@ -1,7 +1,5 @@
 // RUN: %target-typecheck-verify-swift
 
-// XFAIL: noncopyable_generics
-
 var global = 42
 
 @dynamicMemberLookup