| // RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1 | |
| // REQUIRES: tools-release,no_asserts | |
| let a = "a" | |
| let b = "b" | |
| let c = 42 | |
| _ = "a=" + a + ";b=" + b + ";c=" + c | |
| // expected-error@-1 {{expression was too complex to be solved in reasonable time; consider breaking up the expression into distinct sub-expressions}} |