T.init, struct destructors and invariants - should they be called?

[FeepingCreature]

On Sunday, 18 November 2018 at 14:38:09 UTC, Stanislav Blinov 
wrote:
> @safe unittest {
>     Nullable!S a; // Look ma, no assert!
> }

a = S(new Object); // Look pa, assert!