validation-test/Sema/type_checker_perf/slow/rdar23429943.swift

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

let _ = [0].reduce([Int]()) {
  // expected-error@-1 {{reasonable time}}
  return $0.count == 0 && ($1 == 0 || $1 == 2 || $1 == 3) ? [] : $0 + [$1]
}