---

yaml
---
r: 345918
b: refs/heads/master
c: 40b00db
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: e494286070e74bc350d0962906afa040f796c98c
+refs/heads/master: 40b00db3e2767c44ac67ecd9f19f53d4708620ab
 refs/heads/master-next: 203b3026584ecad859eb328b2e12490099409cd5
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea

trunk/validation-test/Sema/type_checker_perf/fast/rdar32221800.swift

@@ -0,0 +1,11 @@
+// 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
+// REQUIRES: tools-release,no_asserts
+
+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)
+}