Skip to content

Commit 3bd53a6

Browse files
committed
Add test case for rdar://123335873
I didn't realize it at the time, but this was actually fixed by bc85d66.
1 parent 619254f commit 3bd53a6

File tree

2 files changed

+16
-0
lines changed

2 files changed

+16
-0
lines changed
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
public protocol P1 {
2+
associatedtype A: Sendable
3+
}
4+
5+
public protocol P2: P1, Sendable where A == any P2 {}
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
// RUN: %empty-directory(%t)
2+
// RUN: %target-swift-frontend -emit-module %S/Inputs/protocol_with_self_conforming_existential_other.swift -emit-module-path %t/protocol_with_self_conforming_existential_other.swiftmodule
3+
// RUN: %target-swift-frontend -emit-silgen %s -I %t
4+
5+
import protocol_with_self_conforming_existential_other
6+
7+
// Declare a type conforming to P2, to force deserializing its
8+
// requirement signature.
9+
10+
struct MyP2: P2 {}
11+

0 commit comments

Comments
 (0)