copyable.swift

// RUN: %empty-directory(%t)

// This test checks that conformances to _Copyable do not appear in swiftinterface files

// Generate the parseable interface of the current file via the merge-modules step
// RUN: %target-build-swift -emit-module -o %t/Test.swiftmodule -emit-module-interface-path %t/TestMerge.swiftinterface -module-name Test %s -enable-library-evolution -swift-version 5

// Generate the parseable interface of the current file via a single frontend invocation
// RUN: %target-swift-frontend -enable-library-evolution -typecheck -emit-module-interface-path %t/TestSingle.swiftinterface -module-name Test %s -enable-library-evolution -swift-version 5

// Make sure Copyable doesn't appear anywhere in these files!
// RUN: %FileCheck --implicit-check-not Copyable %s < %t/TestSingle.swiftinterface
// RUN: %FileCheck --implicit-check-not Copyable %s < %t/TestMerge.swiftinterface


// CHECK: forceGenericSubst
publicfunc forceGenericSubst<T>(_ t:T){
print(t)
}

publicprotocolProtocolWithAssocType{
associatedtypeSomeType
func get()->SomeType
}

publicclassBestClass:ProtocolWithAssocType{
publictypealiasSomeType=BestStruct
publicfunc get()->SomeType{returnBestStruct()}
}

publicstructBestStruct{letc=BestClass()}

publicenumBestEnum<T>{
case nothing
case something(T)
}

publicfunc caller(_ c:BestClass, _ s:BestStruct, _ e:BestEnum<BestStruct>){
forceGenericSubst(c)
forceGenericSubst(s)
forceGenericSubst(e)
}

publictypealiasTheTop=(Int,String)

publicstructS<T>{
lett:T
init(_ t:T){self.t = t }
}

publictypealiasHandler=()->()

publicfunc genericFn<T>(_ t:T)->S<T>{
returnS(t)
}

publicfunc maker(_ top:TheTop, withCompletion comp:@escapingHandler)->S<TheTop>{
 _ =genericFn(top)
 _ =genericFn(comp)
returnS(top)
}