// RUN: %clang_cc1 -pedantic -fsyntax-only -verify %s

@protocol MyProto1 
@end

@protocol MyProto2 
@end

@interface INTF @end

INTF <MyProto1> * Func(INTF <MyProto1, MyProto2> *p2) // expected-note{{passing argument to parameter 'p2' here}}
{
	return p2;
}


INTF <MyProto1> * Func1(INTF <MyProto1, MyProto2> *p2)
{
	return p2;
}

INTF <MyProto1, MyProto2> * Func2(INTF <MyProto1> *p2)
{
	Func(p2);	// expected-error {{incompatible pointer types passing 'INTF<MyProto1> *' to parameter of type 'INTF<MyProto1,MyProto2> *'}}
	return p2;	// expected-error {{incompatible pointer types returning 'INTF<MyProto1> *' from a function with result type 'INTF<MyProto1,MyProto2> *'}}
}



INTF <MyProto1> * Func3(INTF <MyProto2> *p2)
{
	return p2;	// expected-error {{incompatible pointer types returning 'INTF<MyProto2> *' from a function with result type 'INTF<MyProto1> *'}}
}


INTF <MyProto1, MyProto2> * Func4(INTF <MyProto2, MyProto1> *p2)
{
	return p2;
}

