Skip to content

Commit 26a4d5c

Browse files
authored
Merge pull request #36706 from xedin/rdar46713933-literals
[TypeChecker] NFC: Add an additional test-case for rdar://46713933 wi…
2 parents ac88ce5 + e26ada5 commit 26a4d5c

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
// RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1
2+
// REQUIRES: tools-release,no_asan
3+
4+
func wrap<T>(_ key: String, _ value: T) -> T { return value }
5+
func wrap<T: ExpressibleByIntegerLiteral>(_ key: String, _ value: T) -> T { return value }
6+
func wrap<T: ExpressibleByFloatLiteral>(_ key: String, _ value: T) -> T { return value }
7+
func wrap<T: ExpressibleByStringLiteral>(_ key: String, _ value: T) -> T { return value }
8+
9+
func wrapped() -> Int {
10+
return wrap("1", 1) + wrap("1", 1) + wrap("1", 1) + wrap("1", 1)
11+
// expected-error@-1 {{the compiler is unable to type-check this expression in reasonable time}}
12+
}

0 commit comments

Comments
 (0)