| // RUN: %target-typecheck-verify-swift %clang-importer-sdk -swift-version 4 | |
| import ctypes | |
| func testArrays() { | |
| // It would also be nice to warn here about the arrays being too short, but | |
| // that's probably beyond us for a while. | |
| staticBoundsArray([]) | |
| staticBoundsArray(nil) // expected-error {{nil is not compatible with expected argument type 'UnsafePointer<Int8>'}} | |
| } |