Skip to content

Commit 540968a

Browse files
committed
Add another type checker test for which we're already quite fast.
1 parent 34bacd1 commit 540968a

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-typecheck-verify-swift -solver-expression-time-threshold=1 -swift-version 5 -solver-disable-shrink -disable-constraint-solver-performance-hacks -solver-enable-operator-designated-types
2+
// REQUIRES: tools-release,no_asserts
3+
4+
func test(header_field_mark: Bool?, header_value_mark: Bool?,
5+
url_mark: Bool?, body_mark: Bool?, status_mark: Bool?) {
6+
assert(((header_field_mark != nil ? 1 : 0) +
7+
(header_value_mark != nil ? 1 : 0) +
8+
(url_mark != nil ? 1 : 0) +
9+
(body_mark != nil ? 1 : 0) +
10+
(status_mark != nil ? 1 : 0)) <= 1)
11+
}

0 commit comments

Comments
 (0)