mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
a1e14ae0c7
This helps prevent confusion after not inferring requirements if the extension adds a Copyable conformance.
17 lines
822 B
Swift
17 lines
822 B
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-emit-module-interface(%t/Library.swiftinterface) %s -module-name Library
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t/Library.swiftinterface) -module-name Library
|
|
// RUN: %FileCheck %s < %t/Library.swiftinterface
|
|
|
|
struct InternalStruct {}
|
|
extension [Int: InternalStruct]: Sendable {}
|
|
|
|
// CHECK: @available(*, unavailable)
|
|
// CHECK-NEXT: extension Swift.Dictionary : Swift.Copyable where Key : _ConstraintThatIsNotPartOfTheAPIOfThisLibrary {}
|
|
|
|
// CHECK: @available(*, unavailable)
|
|
// CHECK-NEXT: extension Swift.Dictionary : Swift.Escapable where Key : _ConstraintThatIsNotPartOfTheAPIOfThisLibrary {}
|
|
|
|
// CHECK: @available(*, unavailable)
|
|
// CHECK-NEXT: extension Swift.Dictionary : Swift.Sendable where Key : _ConstraintThatIsNotPartOfTheAPIOfThisLibrary {}
|