Can we disallow appending integer to string?

[Nick Treleaven via Digitalmars-d-learn]

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.