“Out” parameters and destructors

[Manfred Nowak]

On Friday, 14 March 2025 at 07:30:14 UTC, Ogion wrote:
[...]
>     ~this() {
>         if (initialized) {
>             writeln("~S()");
If one moves the line containing 'writeln´ one line up before the 
'if´-condition, then one might be notified of all calls---and one 
might be able to recognize more than one call of the destructor.

[...]
>     s = S(42);

The docs at 15.20.2 look very similar to:
>Struct assignment 't=s´ is defined to be semantically equivalent 
>to:
>>   t.opAssign(s);

If there is no 'opAssign´ in 'S´ the compiler might insert a 
default. If a default is inserted, does it suffice?