[Reflection] Improve dumping and test global-actor-qualified function types

Author: DougGregor

stdlib/public/Reflection/TypeRef.cpp

@@ -137,6 +137,19 @@ class PrintTypeRef : public TypeRefVisitor<PrintTypeRef, void> {
       break;
     }
 
+    if (auto globalActor = F->getGlobalActor()) {
+      fprintf(file, "\n");
+      Indent += 2;
+      printHeader("global-actor");
+      {
+        Indent += 2;
+        printRec(globalActor);
+        fprintf(file, ")");
+        Indent -= 2;
+      }
+      Indent += 2;
+    }
+
     fprintf(file, "\n");
     Indent += 2;
     printHeader("parameters");

test/Reflection/Inputs/ConcurrencyTypes.swift

@@ -0,0 +1,3 @@
+public struct UsesConcurrency {
+  public var mainActorFunction: @MainActor () -> Void
+}

test/Reflection/typeref_decoding_concurrency.swift

@@ -0,0 +1,25 @@
+// REQUIRES: no_asan
+// REQUIRES: executable_test
+// REQUIRES: concurrency
+// REQUIRES: libdispatch
+
+// rdar://76038845
+// UNSUPPORTED: use_os_stdlib
+// UNSUPPORTED: back_deployment_runtime
+
+// RUN: %empty-directory(%t)
+
+// RUN: %target-build-swift -Xfrontend -enable-anonymous-context-mangled-names %S/Inputs/ConcurrencyTypes.swift -parse-as-library -emit-module -emit-library -module-name TypesToReflect -o %t/%target-library-name(TypesToReflect)
+// RUN: %target-build-swift -Xfrontend -enable-anonymous-context-mangled-names %S/Inputs/ConcurrencyTypes.swift %S/Inputs/main.swift -emit-module -emit-executable -module-name TypesToReflect -o %t/TypesToReflect
+
+// RUN: %target-swift-reflection-dump -binary-filename %t/%target-library-name(TypesToReflect) | %FileCheck %s
+// RUN: %target-swift-reflection-dump -binary-filename %t/TypesToReflect | %FileCheck %s
+
+// CHECK: FIELDS:
+// CHECK: =======
+// CHECK: TypesToReflect.UsesConcurrency
+// CHECK: ------------------
+// CHECK: mainActorFunction: @Swift.MainActor () -> ()
+// CHECK: (function
+// CHECK:   (global-actor
+// CHECK:     (class Swift.MainActor))