@_disfavoredOverload is required to "disambiguate" in a non-throwing context

[JessyCatterwaul]

Description

No response

Reproduction

Given these two overloads…

func map<Element, Transformed>(
  _ element: Element
) -> ((Element) -> Transformed) -> Transformed {
  { transform in transform(element) }
}

func map<Element, Transformed>(
  _ element: Element
) -> ((Element) throws -> Transformed) throws -> Transformed {
  { transform in try transform(element) }
}

…this error is produced:

map(1)() { $0 + 1 } // ❌Ambiguous use of 'map'

…unless @_disfavoredOverload is added to the overload that involves throwing.

However, @_disfavoredOverload is not required to "disambiguate" when try is involved:

try! map(1)() { try $0 + 1 }

Expected behavior

The lack of try provides the necessary disambiguation.

Environment

swift-driver version: 1.90.11.1 Apple Swift version 5.10 (swiftlang-5.10.0.13 clang-1500.3.9.4)
Target: arm64-apple-macosx14.0

Additional information

No response