existential-generic-error.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

publicprotocolMyProtocol:AnyObject{
func foo<T:BinaryInteger>(ptr:UnsafeMutableRawPointer?, value:T)
}

func test_some(p:someMyProtocol){
 p.foo(ptr:nil, value:0) // expected-error {{a protocol type cannot contain a generic method 'foo(ptr:value:)' in embedded Swift}}
}

publicfunc test_any(p:anyMyProtocol){
test_some(p: p)
}