ExpressibleBy...Literal and Subtyping

[Joe_Groff]

You might be interested in this previous thread on a similar topic:

Could/should type inference of literals be improved?

Yes, I think that should be do-able and would be great to have. We should effectively be able to type-check this as if it had been written as: func _my_generic_lambda<T : BinaryFloatingPoint>(_ x: T) -> T { return x.ft } let threeFeet: Float = _my_generic_lambda(3) @Jens, can you file a JIRA?