https://issues.dlang.org/show_bug.cgi?id=519

--- Comment #19 from Walter Bright <bugzilla@digitalmars.com> ---
Rebooted as: https://github.com/dlang/dmd/pull/7536/

--

https://issues.dlang.org/show_bug.cgi?id=519

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #20 from Dlang Bot <dlang-bot@dlang.rocks> ---
@RazvanN7 created dlang/dmd pull request #10022 "Fix Issue 519 - Invariant not called from autogenerated class/struct constructor/destructor" fixing this issue:

- Fix Issue 519 - Invariant not called from autogenerated class/struct constructor/destructor

https://github.com/dlang/dmd/pull/10022

--

https://issues.dlang.org/show_bug.cgi?id=519

Bolpat <qs.il.paperinik@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |qs.il.paperinik@gmail.com

--

https://issues.dlang.org/show_bug.cgi?id=519

--- Comment #21 from Bolpat <qs.il.paperinik@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.

--