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

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

// Mixed Int/Float arithmetic
func rdar33935430(a: Int, b: Int, c: Float, d: Float, n: Int) {
  let _ = ((a * c) + ((b * d - a * c) / (b - a)) * (n - a)) / n
  // expected-error@-1 {{reasonable time}}
}