// RUN: %target-swift-frontend %s -typecheck | |
public enum R<V> { | |
case value(V) | |
} | |
public struct P<I, O> { | |
public var run: (I) -> R<(O, I)> | |
public init(run: @escaping (I) -> R<(O, I)>) { | |
self.run = run | |
} | |
public func test() -> P<I, [O]> { | |
return P<I, [O]> { input in | |
var output: [O] = [] | |
_ = R<([O], I)>.value(output, input) | |
return R<([O], I)>.value((output, input)) | |
} | |
} | |
} |