GenProto: drop cond. Copyable reqs from descriptor

Author: kavon

lib/IRGen/GenProto.cpp

@@ -2113,17 +2113,28 @@ namespace {
       if (!normal)
         return;
 
-      std::optional<Requirement> scratchRequirement;
-      auto condReqs = normal->getConditionalRequirements();
+      SmallVector<Requirement, 2> condReqs;
+      {
+        // FIXME(kavon): probably need to emit the inverse requirements in the
+        //  metadata so the runtime knows not to check for Copyable? For now
+        //  filter them out.
+        auto origCondReqs = normal->getConditionalRequirements();
+        for (auto req : origCondReqs) {
+          if (req.getKind() == RequirementKind::Conformance &&
+              req.getProtocolDecl()->getInvertibleProtocolKind())
+            continue;
+          condReqs.push_back(req);
+        }
+      }
+
       if (condReqs.empty()) {
         // For a protocol P that conforms to another protocol, introduce a
         // conditional requirement for that P's Self: P. This aligns with
         // SILWitnessTable::enumerateWitnessTableConditionalConformances().
         if (auto selfProto = normal->getDeclContext()->getSelfProtocolDecl()) {
           auto selfType = selfProto->getSelfInterfaceType()->getCanonicalType();
-          scratchRequirement.emplace(RequirementKind::Conformance, selfType,
-                                     selfProto->getDeclaredInterfaceType());
-          condReqs = *scratchRequirement;
+          condReqs.emplace_back(RequirementKind::Conformance, selfType,
+                                selfProto->getDeclaredInterfaceType());
         }
 
         if (condReqs.empty())