Skip to content

Commit 05ed0dd

Browse files
committed
Add back test case
1 parent 7997183 commit 05ed0dd

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed
Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
// RUN: %target-swift-frontend -O -emit-ir %s
2+
// RUN: %target-swift-frontend -O -primary-file %s -emit-ir
3+
4+
// Make sure that we don't crash in IRGen because the only reference to the type
5+
// E is in the protocol conformance descriptor describing the conditional
6+
// conformace.
7+
8+
private enum E {}
9+
10+
private protocol P { associatedtype AT }
11+
12+
private struct S<A, B> {}
13+
14+
extension S: P where A == E { typealias AT = B }
15+
16+
print(S<E, Bool>.AT.self)

0 commit comments

Comments
 (0)