should destroy!false be @system?
kinke
noone at nowhere.com
Fri Feb 24 00:33:17 UTC 2023
I think it's clear that `destroy!false` should be `@system`. -
Wrt. `__xdtor` (the *full* dtor, destructing the fields too, so
might be `@system` even if the user dtor itself is `@safe), that
would probably be ideally disallowed by the compiler as well, and
ctors probably too (as they usually operate on the assumption
that the payload is initialized to its `.init` value). But that's
IMO way more exotic, and anything with two leading underscores in
an `@safe` scope quite suspicious.
More information about the Digitalmars-d
mailing list