Getting action on your favorite D issues

Meta jared771 at gmail.com
Sat Jun 6 13:31:31 UTC 2020


On Saturday, 6 June 2020 at 03:56:43 UTC, Timon Gehr wrote:
> On 06.06.20 05:40, Meta wrote:
>> 
>> The linked defect, and the issue you posted, don't really make 
>> sense to me. They both have UB; reading from an uninitialized 
>> variable (= void), or writing to one member of a union and 
>> reading from the other. Invoke Undefined Behaviour and you 
>> get... Undefined Behaviour.
>
> Right. It's in @safe code.

Ah, yes, I missed that. Why the hell is = void allowed in @safe 
again? I vaguely remember Walter arguing that it should be for 
some reason.


More information about the Digitalmars-d mailing list