//===--- MixedTypeArithmeticsDiagnostics4.swift ---------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
// RUN: %target-typecheck-verify-swift -swift-version 4


func mixedTypeArithemtics() {
  _ = (42 as Int64) + (0 as Int) // expected-error {{'+' is unavailable}}

  do {
    var x = Int8()
    x += (42 as Int) // expected-error {{'+=' is unavailable}}
  }

  _ = (42 as Int32) - (0 as Int) // expected-error {{'-' is unavailable}}

  do {
    var x = Int16()
    x -= (42 as Int) // expected-error {{'-=' is unavailable}}
  }

  // With Int on both sides should NOT result in warning
  do {
    var x = Int()
    x += (42 as Int)
  }
}

func radar31909031() {
  let x = UInt64()
  let y = UInt64()
  _ = (x - y) < UInt64(42) // should not produce a mixed-type warning
}