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

func rdar26564101(a: [Double], m: Double) -> Double {
  return Double(Array(0...a.count - 1).reduce(0) { $0 + $1 - m })
  // expected-error@-1 {{cannot convert value of type 'Double' to expected argument type 'Int'}}
}

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

func rdar26564101(a: [Double], m: Double) -> Double {
  return Double(Array(0...a.count - 1).reduce(0) { $0 + $1 - m })
  // expected-error@-1 {{cannot convert value of type}}
}

Adjust "fast" test-case message to accommodate Amazon Linux 2
[TypeChecker] NFC: Adjust "fast" test-case message to accommodate Amazon Linux 2
