// swift-interface-format-version: 1.0
// swift-module-flags: -target x86_64-apple-macos10.9

// Deliberately pass the wrong target at the command line and see what happens.
// RUN: %empty-directory(%t)
// RUN: %swift -sdk %sdk -target arm64-apple-ios10 -compile-module-from-interface %s -o %t/NoWrongSDKWarning.swiftmodule 2>&1 | %FileCheck -allow-empty %s

// REQUIRES: OS=macosx
// REQUIRES: CPU=x86_64

public func empty()

// CHECK-NOT: warning:
// CHECK-NOT: error: