Tests

Author: Robert Widmann

test/ModuleInterface/Inputs/opaque-type-abi-name/Bottom.swiftinterface

@@ -0,0 +1,18 @@
+// swift-interface-format-version: 1.0
+// swift-module-flags: -module-name Bottom -module-abi-name Top -module-interface-preserve-types-as-written
+
+import Swift
+
+public protocol Aspect {
+  associatedtype Orientation : Bottom.Aspect
+  var orientation: Self.Orientation { get }
+}
+
+public struct Parameter {
+}
+
+public struct ReferencesTop {
+  public func orientation(of parameter: Bottom.Parameter) -> some Bottom.Aspect
+
+  public typealias Orientation = @_opaqueReturnTypeOf("$s3Top13ReferencesTopV11orientation2ofQrAA9ParameterV_tF", 0) __
+}

test/ModuleInterface/Inputs/opaque-type-abi-name/Top.swiftinterface

@@ -0,0 +1,4 @@
+// swift-interface-format-version: 1.0
+// swift-module-flags: -module-name Top -module-interface-preserve-types-as-written
+
+@_exported import Bottom

test/ModuleInterface/Inputs/opaque-type-abi-name/test.sh

@@ -0,0 +1,3 @@
+#!/bin/sh
+
+/Users/rwidmann/SwiftInternal/build/Ninja-Release/swift-macosx-arm64/bin/swift-frontend -sdk $(xcrun --show-sdk-path) -compile-module-from-interface -module-name Bottom -o Bottom.swiftmodule Bottom.swiftinterface -verify 

test/ModuleInterface/verify-opaque-type-abi-name.swift

@@ -0,0 +1,4 @@
+// RUN: %empty-directory(%t)
+
+// RUN: %target-swift-typecheck-module-from-interface(%S/Inputs/opaque-type-abi-name/Bottom.swiftinterface) -module-name Bottom -o %t/Bottom.swiftmodule -verify
+// RUN: %target-swift-typecheck-module-from-interface(%S/Inputs/opaque-type-abi-name/Top.swiftinterface) -module-name Top -o %t/Top.swiftmodule -verify -I %S/Inputs/opaque-type-abi-name