Discussion Thread: DIP 1035-- at system Variables--Community Review Round 1

[Timon Gehr]

On 17.06.20 18:30, Andrei Alexandrescu wrote:
> 
> * The bool story seems like a problem with bool more than anything. It 
> seems excessive to mark something as common and useful as bool as a 
> @system type. The right solution is to fix bool.

That's what the DIP proposes. It does not make `bool` a @system type, it 
just explicitly makes it a type with _trap values_. I.e., @safe code 
cannot write arbitrary bit patterns into `bool` memory because some of 
them do not correspond to either `true` or `false`.