SIL: Drop conformances to Copyable and Escapable from substitution signature

Author: slavapestov

lib/SIL/IR/AbstractionPattern.cpp

@@ -2404,6 +2404,12 @@ class SubstFunctionTypePatternVisitor
       LookUpConformanceInModule(moduleDecl));
 
     for (auto reqt : nomGenericSig.getRequirements()) {
+      // Skip conformance requirements to Copyable and Escapable.
+      if (reqt.getKind() == RequirementKind::Conformance &&
+          reqt.getProtocolDecl()->getInvertibleProtocolKind()) {
+        continue;
+      }
+
       substRequirements.push_back(reqt.subst(newSubMap));
     }