Make all test content types directly conform to TestContent.

This PR eliminates the `TestContentAccessorResult` associated type from the
(currently internal, potentially eventually API) `TestContent` protocol. This
associated type needed to be `~Copyable` so `ExitTest` could be used with it,
but that appears to pose some _problems_ for the compiler (rdar://143049814&143080508).

Instead, we remove the associated type and just say "the test content record is
the type that conforms to `TestContent`". `ExitTest` is happy with this, but
`Test`'s produced type is a non-nominal function type, so we wrap that function
in a small private type with identical layout and have that type conform.

The ultimate purpose of this PR is to get us a bit closer to turning
`TestContent` into a public or tools-SPI protocol that other components can use
for test discovery.

Author: grynspan

Sources/Testing/Discovery.swift

@@ -48,14 +48,6 @@ protocol TestContent: ~Copyable {
   /// `ABI/TestContent.md` for a list of values and corresponding types.
   static var testContentKind: UInt32 { get }
 
-  /// The type of value returned by the test content accessor for this type.
-  ///
-  /// This type may or may not equal `Self` depending on the type's compile-time
-  /// and runtime requirements. If it does not equal `Self`, it should equal a
-  /// type whose instances can be converted to instances of `Self` (e.g. by
-  /// calling them if they are functions.)
-  associatedtype TestContentAccessorResult: ~Copyable
-
   /// A type of "hint" passed to ``discover(withHint:)`` to help the testing
   /// library find the correct result.
   ///
@@ -75,7 +67,7 @@ protocol TestContent: ~Copyable {
 /// This type is not part of the public interface of the testing library. In the
 /// future, we could make it public if we want to support runtime discovery of
 /// test content by second- or third-party code.
-struct TestContentRecord<T>: Sendable where T: ~Copyable {
+struct TestContentRecord<T>: Sendable where T: TestContent & ~Copyable {
   /// The base address of the image containing this instance, if known.
   ///
   /// On platforms such as WASI that statically link to the testing library, the
@@ -93,11 +85,7 @@ struct TestContentRecord<T>: Sendable where T: ~Copyable {
     self.imageAddress = imageAddress
     self._record = record
   }
-}
 
-// This `T: TestContent` constraint is in an extension in order to work around a
-// compiler crash. SEE: rdar://143049814
-extension TestContentRecord where T: TestContent & ~Copyable {
   /// The context value for this test content record.
   var context: UInt {
     _record.context
@@ -109,18 +97,18 @@ extension TestContentRecord where T: TestContent & ~Copyable {
   ///   - hint: An optional hint value. If not `nil`, this value is passed to
   ///     the accessor function of the underlying test content record.
   ///
-  /// - Returns: An instance of the associated ``TestContentAccessorResult``
-  ///   type, or `nil` if the underlying test content record did not match
-  ///   `hint` or otherwise did not produce a value.
+  /// - Returns: An instance of the test content type `T`, or `nil` if the
+  ///   underlying test content record did not match `hint` or otherwise did not
+  ///   produce a value.
   ///
   /// If this function is called more than once on the same instance, a new
   /// value is created on each call.
-  func load(withHint hint: T.TestContentAccessorHint? = nil) -> T.TestContentAccessorResult? {
+  func load(withHint hint: T.TestContentAccessorHint? = nil) -> T? {
     guard let accessor = _record.accessor.map(swt_resign) else {
       return nil
     }
 
-    return withUnsafeTemporaryAllocation(of: T.TestContentAccessorResult.self, capacity: 1) { buffer in
+    return withUnsafeTemporaryAllocation(of: T.self, capacity: 1) { buffer in
       let initialized = if let hint {
         withUnsafePointer(to: hint) { hint in
           accessor(buffer.baseAddress!, hint)

Sources/Testing/ExitTests/ExitTest.swift

@@ -228,7 +228,6 @@ extension ExitTest: TestContent {
     0x65786974
   }
 
-  typealias TestContentAccessorResult = Self
   typealias TestContentAccessorHint = ID
 }
 

Sources/Testing/Test+Discovery.swift

@@ -10,13 +10,28 @@
 
 private import _TestingInternals
 
-extension Test: TestContent {
+/// A type that encapsulates test content records that produce instances of
+/// ``Test``.
+///
+/// This type is necessary because such test content records produce an indirect
+/// `async` accessor function rather than directly producing instances of
+/// ``Test``, but functions are non-nominal types and cannot directly conform to
+/// protocols.
+///
+/// - Note: This helper type must have the exact in-memory layout of the `async`
+///   accessor function. Do not add any additional stored properties. The layout
+///   of this type is _de facto_ [guaranteed](https://github.com/swiftlang/swift/blob/main/docs/ABI/TypeLayout.rst)
+///   by the Swift ABI.
+/* @frozen */ private struct _TestRecord: TestContent {
   static var testContentKind: UInt32 {
     0x74657374
   }
 
-  typealias TestContentAccessorResult = @Sendable () async -> Self
+  /// This instance's actual (asynchronous) accessor function.
+  var asyncAccessor: @Sendable () async -> Test
+}
 
+extension Test {
   /// All available ``Test`` instances in the process, according to the runtime.
   ///
   /// The order of values in this sequence is unspecified.
@@ -43,7 +58,7 @@ extension Test: TestContent {
       // Walk all test content and gather generator functions, then call them in
       // a task group and collate their results.
       if useNewMode {
-        let generators = Self.allTestContentRecords().lazy.compactMap { $0.load() }
+        let generators = _TestRecord.allTestContentRecords().lazy.compactMap { $0.load()?.asyncAccessor }
         await withTaskGroup(of: Self.self) { taskGroup in
           for generator in generators {
             taskGroup.addTask(operation: generator)

Tests/TestingTests/MiscellaneousTests.swift

@@ -583,7 +583,8 @@ struct MiscellaneousTests {
 #if !SWT_NO_DYNAMIC_LINKING && hasFeature(SymbolLinkageMarkers)
   struct DiscoverableTestContent: TestContent {
     typealias TestContentAccessorHint = UInt32
-    typealias TestContentAccessorResult = UInt32
+
+    var value: UInt32
 
     static var testContentKind: UInt32 {
       record.kind
@@ -593,7 +594,7 @@ struct MiscellaneousTests {
       0x01020304
     }
 
-    static var expectedResult: TestContentAccessorResult {
+    static var expectedValue: UInt32 {
       0xCAFEF00D
     }
 
@@ -618,7 +619,7 @@ struct MiscellaneousTests {
         if let hint, hint.load(as: TestContentAccessorHint.self) != expectedHint {
           return false
         }
-        _ = outValue.initializeMemory(as: TestContentAccessorResult.self, to: expectedResult)
+        _ = outValue.initializeMemory(as: Self.self, to: .init(value: expectedValue))
         return true
       },
       UInt(truncatingIfNeeded: UInt64(0x0204060801030507)),
@@ -639,21 +640,21 @@ struct MiscellaneousTests {
 
     // Can find a single test record
     #expect(allRecords.contains { record in
-      record.load() == DiscoverableTestContent.expectedResult
+      record.load()?.value == DiscoverableTestContent.expectedValue
         && record.context == DiscoverableTestContent.expectedContext
     })
 
     // Can find a test record with matching hint
     #expect(allRecords.contains { record in
       let hint = DiscoverableTestContent.expectedHint
-      return record.load(withHint: hint) == DiscoverableTestContent.expectedResult
+      return record.load(withHint: hint)?.value == DiscoverableTestContent.expectedValue
         && record.context == DiscoverableTestContent.expectedContext
     })
 
     // Doesn't find a test record with a mismatched hint
     #expect(!allRecords.contains { record in
       let hint = ~DiscoverableTestContent.expectedHint
-      return record.load(withHint: hint) == DiscoverableTestContent.expectedResult
+      return record.load(withHint: hint)?.value == DiscoverableTestContent.expectedValue
         && record.context == DiscoverableTestContent.expectedContext
     })
   }