[Test] Add a slow type checker test case from source compatibility su…

…ite.
swiftlang · Nov 5, 2020 · 2507a31 · 2507a31
1 parent 12dce85
commit 2507a31
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/validation-test/Sema/type_checker_perf/slow/mixed_string_array_addition.swift b/validation-test/Sema/type_checker_perf/slow/mixed_string_array_addition.swift
@@ -0,0 +1,12 @@
+// RUN: %target-typecheck-verify-swift -swift-version 5 -solver-expression-time-threshold=1
+
+func method(_ arg: String, body: () -> [String]) {}
+
+func test(str: String, properties: [String]) {
+  // expected-error@+1 {{the compiler is unable to type-check this expression in reasonable time}}
+  method(str + "" + str + "") {
+    properties.map { param in
+      "" + param + "" + param + ""
+    } + [""]
+  }
+}