Spec on casting to integer with smaller range than value

[Dennis]

On Saturday, 28 March 2020 at 16:15:08 UTC, Dennis wrote:
> Presence of undefined behavior is sufficient to cause memory 
> corruption, and memory corruption itself is undefined behavior, 
> so the definitions are equivalent and both describe the same 
> thing.

This came up before in different discussions:

https://github.com/dlang/dlang.org/pull/2578#discussion_r257200332
https://forum.dlang.org/post/qu53go$r6v$1@digitalmars.com