Type safety could prevent nuclear war

[tsbockman via Digitalmars-d]

On Friday, 5 February 2016 at 00:07:45 UTC, Chris Wright wrote:
> Which suggests a check of this sort should be a warning rather 
> than an error, or perhaps that a pragma or attribute could be 
> offered to ignore it.
>
> Systems languages let you go into "Here Be Dragons" territory, 
> but it would be nice if they still pointed out the signs to you.

Yes.