[Issue 19968] @safe code can create invalid bools resulting in memory corruption

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=19968

--- Comment #5 from Tim <tim.dlang at t-online.de> ---
Maybe even types like ubyte can have the same problem on some architectures. If
a parameter is stored in a register, which is bigger than the type, the
compiler could assume the value is in the correct range. But an uninitialized
variable could result in an uninitialized register.

--