[Issue 519] Invariant not called from autogenerated class/struct constructor/destructor
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Fri Jan 13 16:38:49 UTC 2023
https://issues.dlang.org/show_bug.cgi?id=519
--- Comment #21 from Bolpat <qs.il.paperinik at gmail.com> ---
Maybe this can be done via a caller-side lowering:
The expression `T(args...)` would become
```d
{
auto result = T(args...);
assert(() @trusted { return &result; }());
return result;
}()
```
The @trusted block is to be able to take the address without dip1000.
--
More information about the Digitalmars-d-bugs
mailing list