swift-mirror/test/SILOptimizer/issue-88987.swift

// RUN: %target-swift-frontend %s -emit-sil -O -swift-version 6 -target %target-swift-5.9-abi-triple -o /dev/null


// Regression tests for:
// * https://github.com/swiftlang/swift/issues/88987
// * https://github.com/swiftlang/swift/issues/88985
// see also rdar://176675014&176674961
//
// PackSpecialization built the new function signature by iterating
// `convention.results`, which includes the error result. After
// GenericSpecializer converted `@error_indirect E` to `@error E` (E =
// Never), the error slot got appended to the new direct results while
// `createSpecializedFunctionDeclaration` separately preserved it as
// `@error`, producing `(@owned Result, @owned Never, @error Never)`.

// #88987

public struct Product<each Element> {
    public let values: (repeat each Element)

    @inlinable
    public init(_ values: repeat each Element) {
        self.values = (repeat each values)
    }
}

extension Product {
    @inlinable
    public consuming func map<each NewElement, E: Swift.Error>(
        _ transforms: repeat (each Element) throws(E) -> each NewElement
    ) throws(E) -> Product<repeat each NewElement> {
        Product<repeat each NewElement>(
            repeat try (each transforms)(each values)
        )
    }
}

@inlinable
public func _instantiate88987() -> Product<Int, String, Bool>? {
    let triple = Product(1, "hi", true)
    return try? triple.map(
        { (x: Int) -> Int in x + 1 },
        { (s: String) -> String in s.uppercased() },
        { (b: Bool) -> Bool in !b }
    )
}

// #88985

extension Product {
    @inlinable
    public static func mapCrash<each NewElement, E: Swift.Error>(
        _ product: consuming Product,
        _ transforms: repeat (each Element) throws(E) -> each NewElement
    ) throws(E) -> Product<repeat each NewElement> {
        Product<repeat each NewElement>(
            repeat try (each transforms)(each product.values)
        )
    }
}

@inlinable
public func _instantiate88985() -> Product<Int, String>? {
    try? Product.mapCrash(
        Product(1, "hi"),
        { (x: Int) -> Int in x + 1 },
        { (s: String) -> String in s.uppercased() }
    )
}