Skip to content

Commit e01822c

Browse files
committed
Add regression test for rdar://problem/108319167
1 parent ba924ed commit e01822c

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed
Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
// RUN: %target-swift-frontend -emit-ir %s
2+
3+
public protocol P {}
4+
5+
public protocol Q {
6+
associatedtype A: P
7+
}
8+
9+
public func f<T: P>(_: T) {}
10+
11+
public func foo1<each T: Q, each U>(t: repeat each T, u: repeat each U)
12+
where repeat (each U) == (each T).A {
13+
repeat f(each u)
14+
}
15+
16+
public func foo2<each T: Q>(t: repeat each T, u: repeat each T.A) {
17+
repeat f(each u)
18+
}

0 commit comments

Comments
 (0)