On Friday, 21 April 2017 at 08:36:12 UTC, Nick Treleaven wrote:
Converting from char types -> integers, whilst (arguably) bug prone, at least is numerically sound. So perhaps we could disallow uint -> dchar, which is unsound.
That is in the general case - when VRP can prove an integer fits within a dchar, by the logic of this proposal, it is allowed.
