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

[FeepingCreature]

On Friday, 6 July 2018 at 10:44:09 UTC, FeepingCreature wrote:
> Consider the humble struct S
> {
>     Object obj;
>     invariant
>     {
>         assert(this.obj !is null);
>     }
>     @disable this();
>     this(Object obj)
>     in(obj !is null)
>     {
>         this.obj = obj;
>     }
> }

Oops - there should of course be a ~this() { } in there.