Merge pull request #60012 from hborla/5.7-revert-existential-typealias-desugaring

[5.7][ASTPrinter] Don't desugar typealiases in existential types.

Author: hborla

lib/AST/ASTPrinter.cpp

@@ -156,7 +156,6 @@ PrintOptions PrintOptions::printSwiftInterfaceFile(ModuleDecl *ModuleToPrint,
       PrintOptions::FunctionRepresentationMode::Full;
   result.AlwaysTryPrintParameterLabels = true;
   result.PrintSPIs = printSPIs;
-  result.DesugarExistentialConstraint = true;
 
   // We should print __consuming, __owned, etc for the module interface file.
   result.SkipUnderscoredKeywords = false;

test/ModuleInterface/existential-any.swift

@@ -44,5 +44,10 @@ public protocol ProtocolTypealias {
   typealias A = P
 }
 
-// CHECK: public func dependentExistential<T>(value: (T) -> main.P) where T : main.ProtocolTypealias
+// CHECK: public func dependentExistential<T>(value: (T) -> T.A) where T : main.ProtocolTypealias
 public func dependentExistential<T: ProtocolTypealias>(value: (T) -> T.A) {}
+
+public typealias Composition = ProtocolTypealias & P
+
+// CHECK: public func optionalComposition(value: main.Composition?)
+public func optionalComposition(value: Composition?) {}