existential-class-bound7.swift

// RUN: %target-swift-emit-ir -parse-as-library -module-name main -verify %s -enable-experimental-feature Embedded -wmo

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

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

finalpublicclassClass:P{
publicfunc foo<T>(t:T){} // expected-error {{a protocol type cannot contain a generic method 'foo(t:)' in embedded Swift}}
}


publicfunc testClass()->P{
returnClass() // expected-note {{protocol type value created here}}
}

finalpublicclassGenClass<X>:P{
publicfunc foo<T>(t:T){} // expected-error {{a protocol type cannot contain a generic method 'foo(t:)' in embedded Swift}}
}


publicfunc testGenClass()->P{
returnGenClass<Int>() // expected-note {{protocol type value created here}}
}