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