Merge pull request #72145 from apple/revert-72130-no-inverse-mangle-reabstraction

Revert "Don't mangle inverse protocols within reabstraction thunks"

Author: DougGregor

lib/AST/ASTMangler.cpp

@@ -450,9 +450,6 @@ std::string ASTMangler::mangleReabstractionThunkHelper(
   assert(ThunkType->getPatternSubstitutions().empty() && "not implemented");
   GenericSignature GenSig = ThunkType->getInvocationGenericSignature();
 
-  // Reabstraction thunks never reference inverse conformances.
-  llvm::SaveAndRestore X(AllowInverses, false);
-
   beginMangling();
   appendType(FromType, GenSig);
   appendType(ToType, GenSig);

lib/IRGen/IRGenMangler.cpp

@@ -496,9 +496,8 @@ IRGenMangler::appendExtendedExistentialTypeShape(CanGenericSignature genSig,
                                                  CanType shapeType) {
   // Append the generalization signature.
   if (genSig) {
-    // Generalization signature never references inverses.
+    // Generalization signature never reference inverses.
     llvm::SaveAndRestore X(AllowInverses, false);
-
     appendGenericSignature(genSig);
   }
 

test/SILGen/existential_member_accesses_self_assoctype.swift

@@ -1,5 +1,7 @@
 // RUN: %target-swift-frontend -emit-silgen %s | %FileCheck %s
 
+// XFAIL: noncopyable_generics
+
 protocol P {
   associatedtype A
 

test/SILGen/tuple_attribute_reabstraction.swift

@@ -1,5 +1,7 @@
 // RUN: %target-swift-emit-silgen %s | %FileCheck %s
 
+// XFAIL: noncopyable_generics
+
 public struct G<T> {
   var t: T
 

test/SILGen/variadic-generic-reabstract-tuple-result.swift

@@ -1,5 +1,7 @@
 // RUN: %target-swift-emit-silgen -disable-availability-checking %s | %FileCheck %s
 
+// XFAIL: noncopyable_generics
+
 // rdar://110391963
 
 struct Use<each T> {}