basic.swift

// RUN: %target-typecheck-verify-swift -I %S/Inputs/custom-modules -F %S/Inputs/custom-frameworks
import APINotesTest
import APINotesFrameworkTest

#if _runtime(_ObjC)
extensionA{
func implicitlyObjC(){}
}

extensionC{
func alsoImplicitlyObjC(){}
}

classD:C{
func yetAnotherImplicitlyObjC(){}
}

func testSelectors(a:AnyObject){
 a.implicitlyObjC?() // okay: would complain without SwiftObjCMembers
 a.alsoImplicitlyObjC?() // okay: would complain without SwiftObjCMembers
 a.yetAnotherImplicitlyObjC?() // okay: would complain without SwiftObjCMembers
}
#endif

func testSwiftName(){
moveTo(x:0, y:0, z:0)
moveTo(0,0,0) // expected-error{{missing argument labels 'x:y:z:' in call}}

 _ = global
 _ = ANTGlobalValue // expected-error{{'ANTGlobalValue' has been renamed to 'global'}}

letps=Point(x:0.0, y:0.0)
letps2=PointStruct(x:0.0, y:0.0) // expected-error{{'PointStruct' has been renamed to 'Point'}}
letr:Real=0.0
letr2:real_t=0.0 // expected-error{{'real_t' has been renamed to 'Real'}}

letrect:Rect
letrect2:RectStruct // expected-error{{'RectStruct' has been renamed to 'Rect'}}

letd:Double= __will_be_private

 // From APINotesFrameworkTest.
jumpTo(x:0, y:0, z:0)
jumpTo(0,0,0) // expected-error{{missing argument labels 'x:y:z:' in call}}
}