| // RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1 |
| // REQUIRES: tools-release,no_asserts |
| |
| // Missing force of optional result of dictionary lookup. |
| func rdar19368383(d: [String : String]) -> [String] { |
| var r = [String]() |
| r += [ // expected-error {{expression was too complex to be solved in reasonable time; consider breaking up the expression into distinct sub-expressions}} |
| "1" + d["2"] + "3", |
| "1" + d["2"] + "3", |
| "1" + d["2"] + "3", |
| "1" + d["2"] + "3", |
| "1" + d["2"] + "3", |
| "1" + d["2"] + "3", |
| ] |
| return r |
| } |