// RUN: %target-typecheck-verify-swift -I %S/Inputs/custom-modules -F %S/Inputs/custom-frameworks | |
// REQUIRES: objc_interop | |
import APINotesTest | |
import APINotesFrameworkTest | |
func testChangedTypes(tc: TypeChanges, a: A, i: Int) { | |
_ = tc.method(with: i) // expected-error{{cannot convert value of type 'Int' to expected argument type 'A?'}} | |
let _: Int = tc.method(with: a) // expected-error{{cannot convert value of type 'A' to specified type 'Int'}} | |
} |