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

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

func rdar31742586() -> Double {
  return -(1 + 2) + -(3 + 4) + 5
  // expected-error@-1 {{reasonable time}}
}