test/Constraints/add_with_nil.swift

// RUN: %target-typecheck-verify-swift -swift-version 5

func test(_ x: Int) -> Int {
  return x + nil
  // expected-error@-1 {{'nil' is not compatible with expected argument type 'Int'}}
}