generic-classes2.swift

// RUN: %target-run-simple-swift(-enable-experimental-feature Embedded -parse-as-library -runtime-compatibility-version none -wmo -Xfrontend -disable-objc-interop) | %FileCheck %s
// RUN: %target-run-simple-swift(-Osize -enable-experimental-feature Embedded -parse-as-library -runtime-compatibility-version none -wmo -Xfrontend -disable-objc-interop) | %FileCheck %s

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

classB<T>{
}

classD<T>:B<T>{
}

func callee<T>(_ t:T.Type){
 _ =D<T>()
}

publicfunc test(){
callee(Int.self)
print("OK!")
}

publicclassBase<T:BinaryInteger>{
publicfunc foo(_ t:T){
print(t)
}
}

publicclassDerived:Base<Int>{
}


func testNonGenericDerived(_ d:Derived){
 d.foo(27)
}

publicprotocolP{
func mask()
}

publicstructConcreteP:P{
varx:Int
publicfunc mask(){
print(x)
}
}

classBaseClass<SomeP:P>{
func foo(_ p:SomeP){
 p.mask()
}
}

finalclassSubClass<T, SomeP:P>:BaseClass<SomeP>{
}

publicclassBaseWithClassMethod<T:BinaryInteger>{
classfunc foo(_ t:T){
print("BaseWithClassMethod")
print(t)
}
}

publicclassDerivedWithClassMethod<T:BinaryInteger>:BaseWithClassMethod<T>{
overrideclassfunc foo(_ t:T){
print("DerivedWithClassMethod")
print(t)
}
}

func testClassMethod()->BaseWithClassMethod<Int>.Type{
return DerivedWithClassMethod<Int>.self
}

@main
structMain{
staticfunc main(){
 // CHECK: OK!
test()

 // CHECK: 27
testNonGenericDerived(Derived())

letx=SubClass<Int,ConcreteP>()
 // CHECK: 42
 x.foo(ConcreteP(x:42))

lett=testClassMethod()
 // CHECK: 123
 t.foo(123)
}
}