struct A<U> {}
extension A {
    func map<T>(_ transform: (U) -> T) -> A<T> { A<T>() }
    func map<T>(value: T) -> A<T> { A<T>() }
}

let value = A<Int>()

// OK
let r0: A<Double> = value.map { Double($0) }
let r2 = value.map(value: Double(1))

// Failing case, works if return type is explicit (as `r0` above)
let r1 = value.map { Double($0) }

error: Swift53Overload.playground:9:22: error: ambiguous use of 'init(_:)'
let r1 = value.map { Double($0) }

main.swift:3:53: warning: result of 'A<U>' initializer is unused
    func map<T>(_ transform: (U) -> T) -> A<T> { A<T>() }
                                                    ^~~
main.swift:4:40: warning: result of 'A<U>' initializer is unused
    func map<T>(value: T) -> A<T> { A<T>() }
                                       ^~~
main.swift:9:22: error: ambiguous use of 'init(_:)'
let r1 = value.map { Double($0) }
                     ^
Swift.Double:2:12: note: found this candidate
    public init(_ v: Int)
           ^
Swift.Double:3:23: note: found this candidate
    @inlinable public init<Source>(_ value: Source) where Source : BinaryInteger
                      ^
Swift.BinaryFloatingPoint:3:23: note: found this candidate
    @inlinable public init<Source>(_ value: Source) where Source : BinaryInteger
                      ^
Swift.Double:4:12: note: found this candidate
    public init(_ _value: FPIEEE64)
           ^
Swift.Double:4:23: note: found this candidate
    @inlinable public init(_ other: Float)
                      ^
Swift.Double:6:23: note: found this candidate
    @inlinable public init(_ other: Double)
                      ^
Swift.Double:8:23: note: found this candidate
    @inlinable public init(_ other: Float80)
                      ^