[SR-1324] Passing a parameter of type protocol P to a generic method with a protocol P constraint fails

[stuartcarnie]

Previous ID	SR-1324
Radar	None
Original Reporter	@stuartcarnie
Type	Bug
Status	Resolved
Resolution	Duplicate

Attachment: Download

Environment

OS X 10.11.5 Beta 2

Additional Detail from JIRA

Votes	0
Component/s	Compiler
Labels	Bug
Assignee	None
Priority	Medium

md5: 4be481df59ed0f10559f54551d870724

duplicates:

• SR-55 non-@objc protocol existentials do not conform to their own protocol type

Issue Description:

Per the attached Swift file, line 21 will result in a compiler error attempting to call testP with a parameter of type protocol P. Naturally the parameter conforms to P. I tested against 0425 SNAPSHOT and it did not pass.

[belkadan]

It is actually not generally the case that a value of type P can be used with a generic parameter constrained by P—for example, if P has static requirements.