Merge pull request #29714 from slavapestov/regression-test-sr-9225

Add regression test for https://bugs.swift.org/browse/SR-9225

Author: slavapestov

validation-test/compiler_crashers_2_fixed/Inputs/sr9225-other.swift

@@ -0,0 +1,10 @@
+struct S1: P1 {
+    typealias P1_T1 = Int
+    typealias P1_T2 = Range<Int>
+}
+
+struct S2<P1_T1>: P1, P3 {
+    typealias P1_T2 = [P1_T1]
+    typealias P2_T = Int
+    typealias P3_T = S1
+}

validation-test/compiler_crashers_2_fixed/sr9225.swift

@@ -0,0 +1,15 @@
+// RUN: %target-swift-frontend -emit-ir -primary-file %s %S/Inputs/sr9225-other.swift -module-name sr9225
+// RUN: %target-swift-frontend -emit-ir %s -primary-file %S/Inputs/sr9225-other.swift -module-name sr9225
+
+protocol P1 {
+    associatedtype P1_T1
+    associatedtype P1_T2: Collection where P1_T2.Element == P1_T1
+}
+
+protocol P2 {
+    associatedtype P2_T
+}
+
+protocol P3: P1, P2 {
+    associatedtype P3_T: P1 where P3_T.P1_T2 == Range<P2_T>
+}