On 10/21/2018 12:20 PM, Nicholas Wilson wrote: > Yes, but the problem you describe is arises from implicit conversion in the > other direction, which is not part of the proposal. It's Manu's example.