copy_expr.swift

// RUN: %target-typecheck-verify-swift -disable-availability-checking

varglobal:Int=5
func testGlobal(){
let _ = copy global
}

func testLet(){
lett=String()
let _ = copy t
}

func testVar(){
vart=String()
 t =String()
let _ = copy t
}

func copy(){}
func copy(_:String){}
func copy(_:String, _:Int){}
func copy(x:String, y:Int){}

// Ensure that we can still call a function named copy.

func useCopyFunc(){
vars=String()
vari= global

copy()
copy(s)
copy(i) // expected-error{{cannot convert value of type 'Int' to expected argument type 'String'}}
copy(s, i)
copy(i, s) // expected-error{{unnamed argument #2 must precede unnamed argument #1}}
copy(x: s, y: i)
copy(y: i, x: s) // expected-error{{argument 'x' must precede argument 'y'}}
}

// Ensure that we can still use a variable named copy.

func useCopyVar(copy:inoutString){
lets= copy
 copy = s

 // We can copy from a variable named `copy`
lett= copy copy
 copy = t

 // We can do member access and subscript a variable named `copy`
leti= copy.startIndex
let _ =copy[i]
}

@propertyWrapper
structFooWrapper<T>{
varvalue:T

init(wrappedValue:T){ value = wrappedValue }

varwrappedValue:T{
get{ value }
nonmutating set{}
}
varprojectedValue:T{
get{ value }
nonmutating set{}
}
}

structFoo{
@FooWrappervarwrapperTest:String

func copySelf(){
 _ = copy self
}

func copyPropertyWrapper(){
 // Make sure that we can parse.
 _ = copy wrapperTest // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
 _ = copy _wrapperTest // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
 _ = copy $wrapperTest // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
}
}

func testParseCopyWithDollarIdentifier(){
classKlass{}
letf:(Klass)->()={
let _ = copy $0
}
 _ = f
}

func testParseCopySelf(){
classKlass{
func test(){
let _ = copy self
}
}
}

func testForLoop(){
forcopyin0..<1024{
 _ = copy
}
}

classParentKlass{}
classChildKlass:ParentKlass{}

func testAsBindingVariableInSwitch(_ x:ChildKlass){
switch x {
caseletcopy as ParentKlass:
 _ = copy
break
}
}