// RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1 | |
// REQUIRES: tools-release,no_asan | |
func test(header_field_mark: Bool?, header_value_mark: Bool?, | |
url_mark: Bool?, body_mark: Bool?, status_mark: Bool?) { | |
assert(((header_field_mark != nil ? 1 : 0) + | |
(header_value_mark != nil ? 1 : 0) + | |
(url_mark != nil ? 1 : 0) + | |
(body_mark != nil ? 1 : 0) + | |
(status_mark != nil ? 1 : 0)) <= 1) | |
} |