---

yaml
---
r: 570807
b: refs/heads/main
c: 2b5fc3a
h: refs/heads/main
i:
  570805: 0ce0da7
  570803: 56d38e4
  570799: dc57b44

Author: xymus

[refs]

@@ -2015,4 +2015,4 @@ refs/tags/swift-5.3-DEVELOPMENT-SNAPSHOT-2020-09-06-a: 539017b61d4fd33e72f269983
 refs/tags/swift-5.3-DEVELOPMENT-SNAPSHOT-2020-09-07-a: 30277ea9d7139d33bf3a0b476c9f05f7140a17f0
 refs/tags/swift-5.3-DEVELOPMENT-SNAPSHOT-2020-09-09-a: e1eb555e1b2365ec8b0252d9d7edec351f40f9ca
 refs/tags/swift-DEVELOPMENT-SNAPSHOT-2020-09-11-a: 48ed530cc4805b5f29fc519ec25ed290e058e674
-refs/heads/main: 480e8933d7fbe6ce55ab605d2835ea1541852824
+refs/heads/main: 2b5fc3a8d7714b636f6958068dcc58d8de49c512

trunk/test/SPI/client_reuse_spi.swift

@@ -0,0 +1,29 @@
+/// A module should be able to leak SPI types from an import through SPI decls
+
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-frontend -emit-module -DLIB_A %s -module-name A -emit-module-path %t/A.swiftmodule
+// RUN: %target-swift-frontend -emit-module -DLIB_B %s -module-name B -emit-module-path %t/B.swiftmodule -I %t
+// RUN: %target-swift-frontend -typecheck -verify -verify-ignore-unknown -DLIB_C %s -I %t
+
+#if LIB_A
+
+@_spi(A) public struct SecretStruct {
+  @_spi(A) public func bar() {}
+}
+
+#elseif LIB_B
+
+@_spi(A) import A
+
+@_spi(B) public func foo() -> SecretStruct { fatalError() }
+
+#elseif LIB_C
+
+@_spi(B) import B
+
+var a = foo() // OK
+a.bar() // expected-error{{'bar' is inaccessible due to '@_spi' protection level}}
+
+var b = SecretStruct() // expected-error{{use of unresolved identifier}}
+
+#endif