| // RUN: %target-swift-frontend -emit-sil %s -import-objc-header %S/Inputs/enum-objc.h -verify |
| |
| // REQUIRES: objc_interop |
| |
| func test(_ value: SwiftEnum) { |
| switch value { |
| case .one: break |
| case .two: break |
| case .three: break |
| } // no error |
| } |
| |
| let _: Int = forwardBarePointer // expected-error {{cannot convert value of type '(OpaquePointer) -> Void' to specified type 'Int'}} |
| let _: Int = forwardWithUnderlyingPointer // expected-error {{cannot convert value of type '(OpaquePointer) -> Void' to specified type 'Int'}} |
| let _: Int = forwardObjCPointer // expected-error {{cannot convert value of type '(OpaquePointer) -> Void' to specified type 'Int'}} |
| |
| // FIXME: It would be nice to import these as unavailable somehow instead. |
| let _: Int = forwardWithUnderlyingValue // expected-error {{use of unresolved identifier 'forwardWithUnderlyingValue'}} |
| let _: Int = forwardObjCValue // expected-error {{use of unresolved identifier 'forwardObjCValue'}} |
| |
| // Note that if /these/ start getting imported as unavailable, the error will |
| // also mention that there's a missing argument, since the second argument isn't |
| // actually defaultable. |
| _ = SomeClass.tryInferDefaultArgumentUnderlyingValue(false) // expected-error {{type 'SomeClass' has no member 'tryInferDefaultArgumentUnderlyingValue'}} |
| _ = SomeClass.tryInferDefaultArgumentObjCValue(false) // expected-error {{type 'SomeClass' has no member 'tryInferDefaultArgumentObjCValue'}} |