Skip to content

Commit 27b01e3

Browse files
[test] Adding validation test for generic function match
1 parent 4a9fc98 commit 27b01e3

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
// RUN: %target-swift-frontend -typecheck %s
2+
enum E<T> {}
3+
4+
protocol P {
5+
associatedtype T
6+
var closure: () -> E<T> { get }
7+
}
8+
9+
struct Concrete<Value>: P {
10+
let closure: () -> E<Value>
11+
}

0 commit comments

Comments
 (0)