existential-class-bound1.swift

// RUN: %target-run-simple-swift(-enable-experimental-feature Embedded -parse-as-library -wmo) | %FileCheck %s
// RUN: %target-run-simple-swift(-enable-experimental-feature Embedded -parse-as-library -wmo -O) | %FileCheck %s
// RUN: %target-run-simple-swift(-enable-experimental-feature Embedded -parse-as-library -wmo -Osize) | %FileCheck %s

// REQUIRES: swift_in_compiler
// REQUIRES: executable_test
// REQUIRES: optimized_stdlib
// REQUIRES: swift_feature_Embedded

protocolClassBound:AnyObject{
func foo()
func bar()
}

classMyClass{}
extensionMyClass:ClassBound{
func foo(){print("MyClass.foo()")}
func bar(){print("MyClass.bar()")}
}

classMyOtherClass{}
extensionMyOtherClass:ClassBound{
func foo(){print("MyOtherClass.foo()")}
func bar(){print("MyOtherClass.bar()")}
}

func test(existential:anyClassBound){
 existential.foo()
 existential.bar()
}

publicprotocolProtoWithAssocType<T>:AnyObject{
associatedtypeT
func foo(t:T)
}

finalpublicclassGenClass<T:BinaryInteger>:ProtoWithAssocType{
publicfunc foo(t:T){
print(t)
}
}

publicfunc createExWithAssocType()->anyProtoWithAssocType<Int>{
returnGenClass<Int>()
}

publicfunc callExWithAssocType(_ p:anyProtoWithAssocType<Int>){
 p.foo(t:27)
}

publicprotocolQ:AnyObject{
func bar()
}

publicprotocolProtoWithAssocConf:AnyObject{
associatedtypeA:Q
func foo()->A
}

publicclassGenClass2<T>:Q{
finalvart:T

init(t :T){self.t = t }

publicfunc bar(){
print("bar")
}
}

publicclassDerivedFromGenClass2:GenClass2<Int>{
init(){ super.init(t:42)}

publicoverridefunc bar(){
print("derived-bar")
}
}

finalpublicclassGenClass3<V>:ProtoWithAssocConf{
publicfunc foo()->GenClass2<Int>{
print("foo")
returnGenClass2(t:27)
}
}

finalpublicclassOtherClass:ProtoWithAssocConf{
publicfunc foo()->GenClass2<Int>{
print("other-foo")
returnDerivedFromGenClass2()
}
}


publicfunc createExWithAssocConf()->anyProtoWithAssocConf{
returnGenClass3<Int>()
}

publicfunc callExWithAssocConf(_ p:anyProtoWithAssocConf){
letx= p.foo()
 x.bar()
}

publicclassBase<T>:ClassBound{
publicfunc foo(){print("Base.foo()")}
publicfunc bar(){print("Base.bar()")}
}

publicclassDerived1:Base<Int>{
publicoverridefunc foo(){print("Derived1.foo()")}
publicoverridefunc bar(){print("Derived1.bar()")}
}

publicclassDerived2<T>:Base<T>{
publicoverridefunc foo(){print("Derived2.foo()")}
publicoverridefunc bar(){print("Derived2.bar()")}
}

publicfunc takes_p1(_ p:P1){
 p.normal()
}

publicprotocolP1:AnyObject{
func normal()
}

publicprotocolP2{
func foo()
}

publicclassConditionalConformanceBase<A>{
finalvara:A

init(a:A){self.a = a }
}

extensionConditionalConformanceBase:P1where A:P2{
publicfunc normal(){
 a.foo()
}
}

publicclassConditionalConformanceDerived<T>:ConditionalConformanceBase<T>{
init(t:T){ super.init(a: t)}
}


publicfunc testConditionalConformance<T:P2>(t:T){
takes_p1(ConditionalConformanceDerived(t: t))
}


structS:P2{
vari:Int

func foo(){
print(i)
}
}

protocolQ3{
func bar()
}

protocolP3<T>:AnyObject{
associatedtypeT:Q3

vart:T{get}

func foo()
}

extensionP3{
func foo(){
 t.bar()
}
}

finalclassC3<T:Q3>:P3{
vart:T


init(t:T){self.t = t }
}

structS3<I:BinaryInteger>:Q3{
varx:I

func bar(){
print(x)
}
}

@inline(never)
func testP3()->anyP3{
returnC3(t:S3(x:102))
}

protocolP4<T>:AnyObject{
associatedtypeT:Q

vart:T{get}

func foo()
}

extensionP4{
func foo(){
 t.bar()
}
}

finalclassC4<T:Q>:P4{
vart:T


init(t:T){self.t = t }
}

classK4<I:BinaryInteger>:Q{
varx:I

init(x:I){self.x = x }

func bar(){
print(x)
}
}

@inline(never)
func testP4()->anyP4{
returnC4(t:K4(x:437))
}



@main
structMain{
staticfunc main(){
test(existential:MyClass())
 // CHECK: MyClass.foo()
 // CHECK: MyClass.bar()
test(existential:MyOtherClass())
 // CHECK: MyOtherClass.foo()
 // CHECK: MyOtherClass.bar()
callExWithAssocType(createExWithAssocType())
 // CHECK: 27
callExWithAssocConf(createExWithAssocConf())
 // CHECK: foo
 // CHECK: bar
callExWithAssocConf(OtherClass())
 // CHECK: other-foo
 // CHECK: derived-bar
test(existential:Derived1())
 // CHECK: Derived1.foo()
 // CHECK: Derived1.bar()
test(existential:Derived2<Bool>())
 // CHECK: Derived2.foo()
 // CHECK: Derived2.bar()
testConditionalConformance(t:S(i:27))
 // CHECK: 27
testP3().foo()
 // CHECK: 102
testP4().foo()
 // CHECK: 437
}
}