Swift 2b2: swiftc diverges and blows the stack with mutually referential protocols

Originator:rix.rob
Number:rdar://21645901 Date Originated:01-Jul-2015 10:17 PM
Status:Open Resolved:
Product:Developer Tools Product Version:Xcode-beta (7A121l)
Classification:Crash/Hang/Data Loss Reproducible:Always
 
Summary:
I want to define two protocols specifying a mutual relationship, but this crashes swiftc.


Steps to Reproduce:
This code:
protocol A1 {
	typealias A: A2
}

protocol A2 {
	typealias A: A1
}

struct S { init<A: A1>(A) {} }


Expected Results:
should not cause swiftc to diverge and quickly blow the stack, crashing


Actual Results:
but totally does.


Regression:
N/A


Notes:
N/A

Comments


Please note: Reports posted here will not necessarily be seen by Apple. All problems should be submitted at bugreport.apple.com before they are posted here. Please only post information for Radars that you have filed yourself, and please do not include Apple confidential information in your posts. Thank you!