Attachment: Download

Issue Description:

Hi there!

I have a function with the following signature:

func handle(handler: ((_ foo: String) -> Void))

I have an extension function on the class with the following signature:

func handle<T>(handler: ((_ foo: String) throws -> T)) throws -> T

When I try to write code like the following, Swift infers the handle function that doesn't throw or return a value instead of the one that does, resulting in a compiler error:

let testInt = try bugTest.handle { string in

{{ print(string)}}

{{ }}

{{ if (string == "baz") {}}

{{ throw TestError.baz}}

    }

{{ }}

{{ return 42}}

{{}}}

I've attached a very detailed playground demonstrating exactly what I'm trying to do and why, with the reproducible test case included.

Thanks!