Merge pull request #85070 from slavapestov/three-regression-tests

Add regression tests for fixed crashers

Author: slavapestov

validation-test/compiler_crashers_fixed/rdar129109552.swift

@@ -0,0 +1,12 @@
+// RUN: not %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+
+import Foundation.NSZone
+
+@available(macOS 12, iOS 15, tvOS 15, watchOS 8, *)
+@dynamicMemberLookup public struct AttributedSubstring : Sendable {
+}
+
+@available(macOS 12, iOS 15, tvOS 15, watchOS 8, *)
+extension AttributedSubstring : AttributedStringProtocol {
+}

validation-test/compiler_crashers_fixed/rdar139816342.swift

@@ -0,0 +1,19 @@
+// RUN: not %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+
+import Foundation
+
+protocol AttributedStringKey {
+    associatedtype Value : Hashable
+}
+
+protocol AttributedStringProtocol {
+    subscript<K>(_: K.Type) -> K.Value? where K : AttributedStringKey { get set }
+    subscript<R>(bounds: R) -> AttributedSubstring where R : RangeExpression, R.Bound == AttributedString.Index { get }
+}
+
+public struct AttributedSubstring : Sendable {
+}
+
+extension AttributedSubstring : AttributedStringProtocol {
+}

validation-test/compiler_crashers_fixed/rdar160642919.swift

@@ -0,0 +1,31 @@
+// RUN: %target-swift-frontend -emit-ir %s -disable-availability-checking
+
+public protocol IntoTuple {
+    func asTuple<each E>() -> (repeat each E)
+    func asTuples<each E>() -> (repeat each E)
+}
+
+extension InlineArray: IntoTuple {
+    public func asTuple<each E>() -> (repeat each E)
+    {
+        var indices = self.indices.makeIterator()
+        return (repeat self[indices.next()!] as! each E)
+    }
+
+    // Convert nested InlineArrays
+    public func asTuples<each E>() -> (repeat each E)
+        where Element: IntoTuple
+    {
+        var indices = self.indices.makeIterator()
+        return (repeat self[indices.next()!].asTuple() as each E)
+    }
+
+    public func asTuples<each E>() -> (repeat each E)
+    {
+        return self.asTuple()
+    }
+}
+
+let x: ((Float, Float), (Float, Float)) = [2 of [2 of _]](repeating: [1.0, 2.0]).asTuples()
+print(x)
+