@swift-5.4.3 @swift-5.3.3

struct Container<T> { func map<T, U>(_ transformer: (T) -> U) -> Container<U> { return .init() } } let n = Container<Never>() let u: Container<Int> = n.map { _ in }

(edited)