segfault in invariant { assert(super); }

[SimonN via Digitalmars-d-learn]

Hi,

the following code compiles fine, then segfaults upon running.
    class Base {
        this(int) { }
    }

    class Derived : Base {
        this(int a) { super(a); }
        invariant() { assert (super); }
    }

    void main()
    {
        new Derived(5);
    }

Tested both with dmd 2.069.2 on Linux 64-bit, and on dpaste's dmd 
2.069.1:

    http://dpaste.dzfl.pl/4b9475c668f1

Backtrace on my home machine:

    Program received signal SIGSEGV, Segmentation fault.
    0x00000000004246a5 in _D9invariant12_d_invariantFC6ObjectZv ()
    (gdb) bt
    #0  0x00000000004246a5 in 
_D9invariant12_d_invariantFC6ObjectZv ()
    #1  0x0000000000647bf0 in _D3app7Derived6__initZ ()
    #2  0x00007fffff7ff030 in ?? ()
    #3  0x000000000042301f in _D3app7Derived12__invariant1MxFZv 
(this=0x0)
        at source/app.d:7
    Backtrace stopped: previous frame inner to this frame 
(corrupt stack?)

So, looks like endless recursion inside the invairant.

Questions:

1) Is this recursion expected?

2) The example is a dustmite'd version of this: I have a public 
final method Base.f(), and the compiler won't let me call f() in 
Derived's invariant. This is understandable, because f() is also 
a public method of Derived. However, I can call super.f() 
explicitly in Derived's invariant, with no compiler error. Is 
that expected to work, or should it lead to a similar segfault? 
(I get the segfault.)

-- Simon