// RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1
// REQUIRES: tools-release,no_asserts

struct S { var s: String? }

func rdar23861629(_ a: [S]) {
  _ = a.reduce("") {
    // expected-error@-1 {{reasonable time}}
    ($0 == "") ? ($1.s ?? "") : ($0 + "," + ($1.s ?? "")) + ($1.s ?? "test") + ($1.s ?? "okay")
  }
}