Merge pull request #67051 from hjyamauchi/anyprotocol

Fix a round trip debug type failure with typealias

Author: compnerd

lib/IRGen/IRGenDebugInfo.cpp

@@ -98,10 +98,11 @@ class EqualUpToClangTypes
 };
 
 static bool equalWithoutExistentialTypes(Type t1, Type t2) {
-  auto withoutExistentialTypes = [](Type type) -> Type {
+  static Type (*withoutExistentialTypes)(Type) = [](Type type) -> Type {
     return type.transform([](Type type) -> Type {
-      if (auto existential = type->getAs<ExistentialType>())
-        return existential->getConstraintType();
+      if (auto existential = type->getAs<ExistentialType>()) {
+        return withoutExistentialTypes(existential->getConstraintType());
+      }
       return type;
     });
   };

test/IRGen/round-trip-debug-types-typealias.swift

@@ -0,0 +1,10 @@
+// RUN: %target-build-swift -g %s
+
+// https://github.com/apple/swift/issues/66554
+// IRGenDebugInfo type reconstruction crash because existential types
+// inside typealias are not taken into account when comparing type
+// equality
+
+protocol Protocol<T> { associatedtype T }
+typealias AnyProtocol<T> = any Protocol<T>
+let crash: AnyProtocol<Any?>