[SR-9815] Swift complains about throwing function that isn't one (through @autoclosure) #52233

weissi · 2019-01-30T18:49:19Z


Previous ID	SR-9815
Radar	None
Original Reporter	@weissi
Type	Bug
Status	Resolved
Resolution	Duplicate

Environment

Apple Swift version 5.0 (swiftlang-1001.0.45.7 clang-1001.0.37.7)
Target: x86_64-apple-darwin18.2.0
ABI version: 0.6

Additional Detail from JIRA


Votes	0
Component/s
Labels	Bug
Assignee	None
Priority	Medium

md5: 4c7ffa11ef7523b4f33477c960de91a6

duplicates:

SR-487 Compiler fails to consider @autoclosure when satisfying try requirements

Issue Description:

this Swift program should just work

struct S {
    func map(_ body: () -> ()) {
        body()
    }
}

func f<T>(_ body: @autoclosure () throws -> T) {
}

func throwing() throws {
}

S().map {
    f(try throwing())
}

however it raises:

test.swift:13:9: error: invalid conversion from throwing function of type '() throws -> ()' to non-throwing function type '() -> ()'
S().map {
        ^

Interestingly, there's a simple workaround:

struct S {
    func map(_ body: () -> ()) {
        body()
    }
}

func f<T>(_ body: @autoclosure () throws -> T) {
}

func throwing() throws {
}

S().map {
    func shouldNotBeNecessary() {
        f(try throwing())
    }
    shouldNotBeNecessary()
}

The text was updated successfully, but these errors were encountered:

swift-ci transferred this issue from apple/swift-issues Apr 25, 2022

This issue was closed.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[SR-9815] Swift complains about throwing function that isn't one (through @autoclosure) #52233

[SR-9815] Swift complains about throwing function that isn't one (through @autoclosure) #52233

weissi commented Jan 30, 2019

[SR-9815] Swift complains about throwing function that isn't one (through @autoclosure) #52233

[SR-9815] Swift complains about throwing function that isn't one (through @autoclosure) #52233

Comments

weissi commented Jan 30, 2019