Even if S.dtor or postblit are triggered, they cannot be template, so their semantic3 won't run.
And if field copy operation causes recursion, I think it would be a *true* forward reference (compiler should report error for that).