Bug 3033 – CTFE call of non-static member function allowed inside template

From http://www.dsource.org/projects/ldc/ticket/312 The code --- struct Struct { Struct method() { return *this; } } template Template() { const CONST_STRUCT = Struct().method(); // A: no error } alias Template!() foo; const CONST_STRUCT2 = Struct().method(); // B: error --- correctly produces an error for line B "non-constant expression (Struct()).method()" (the CTFE spec says: "4. the function may not be a non-static member, i.e. it may not have a this pointer"), but doesn't for line A. Please either make both lines work and update the spec, or make A an error.

This is invalid. The template never gets instantiated (certainly its value is never requested), so CTFE isn't involved. The alias is still OK, since it might be used at runtime. Try adding this line at the end: const CONST_STRUCT3 = foo.CONST_STRUCT; and then you'll correctly get an error.