existential-any.swift

// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name main
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name main
// RUN: %FileCheck %s < %t.swiftinterface

// Verify that `any` is not required in swiftinterfaces.
// RUN: %target-swift-typecheck-module-from-interface(%S/Inputs/existential-any-ignore-missing-in-interface.swiftinterface) -module-name ExistentialAnyMissing

// CHECK: public protocol P
publicprotocolP{}

// CHECK: public protocol Q
publicprotocolQ{
 // CHECK: associatedtype A : main.P
associatedtypeA:P
}

// CHECK: public func takesAndReturnsP(_ x: any main.P) -> any main.P
publicfunc takesAndReturnsP(_ x:P)->P{
return x
}

// CHECK: public func takesAndReturnsOptionalP(_ x: (any main.P)?) -> (any main.P)?
publicfunc takesAndReturnsOptionalP(_ x:P?)->P?{
return x
}

// CHECK: public func takesAndReturnsQ(_ x: any main.Q) -> any main.Q
publicfunc takesAndReturnsQ(_ x:anyQ)->anyQ{
return x
}

// CHECK: public struct S
publicstructS{
 // CHECK: public var p: any main.P
publicvarp:P
 // CHECK: public var maybeP: (any main.P)?
publicvarmaybeP:P?
 // CHECK: public var q: any main.Q
publicvarq:anyQ
}


publicprotocolProtocolTypealias{
typealiasA=P
}

// CHECK: public func dependentExistential<T>(value: (T) -> any main.P) where T : main.ProtocolTypealias
publicfunc dependentExistential<T:ProtocolTypealias>(value:(T)->T.A){}

publicprotocolYescopyable{}
publicprotocolNoncopyable:~Copyable {}

// CHECK: public func existentialMetatype1(_: any (main.Noncopyable & ~Copyable).Type)
// CHECK: public func existentialMetatype2(_: any (main.Noncopyable & main.Yescopyable).Type)
// CHECK: public func existentialMetatype3(_: any ~Copyable.Type)

publicfunc existentialMetatype1(_:any(Noncopyable&~Copyable).Type){}
publicfunc existentialMetatype2(_:any(Yescopyable&Noncopyable).Type){}
publicfunc existentialMetatype3(_: any ~Copyable.Type){}

// CHECK: public func metatypeExistential1(_: (any main.Noncopyable & ~Copyable).Type)
// CHECK: public func metatypeExistential2(_: (any main.Noncopyable & main.Yescopyable).Type)
// CHECK: public func metatypeExistential3(_: (any ~Copyable).Type)

publicfunc metatypeExistential1(_:(anyNoncopyable&~Copyable).Type){}
publicfunc metatypeExistential2(_:(anyYescopyable&Noncopyable).Type){}
publicfunc metatypeExistential3(_:(any ~Copyable).Type){}