Static override?

[Atila Neves]

That gives me this:
     static_override.d(22): Error: variable 
static_override.Struct.hasAccept!(Struct).hasAccept had semantic 
errors when compiling

Which is better than before but still hiding the actuall error. 
But this works as expected:

     template hasAccept(T) {
         static iface(CT)(CT t) {
             auto foo = FooVisitor();
             t.accept(foo);
             auto bar = BarVisitor();
             t.accept(bar);
         }
         static if (is(typeof(iface!T)))
             enum hasAccept = true;
         else {
             private static void func() {
                 iface(T());
             }
         }
     }

Atila

On Friday, 4 April 2014 at 10:55:53 UTC, Artur Skawina wrote:
> On 04/04/14 11:22, Atila Neves wrote:
>>     enum hasAccept(T) = is(typeof(() {
>>         auto s = T();
>>         auto foo = FooVisitor();
>>         s.accept(foo);
>>         auto bar = BarVisitor();
>>         s.accept(bar);
>>     }));
> 
>> The static asserts are there to verify that the structs I 
>> define actually do implement the interface I want them to. 
>> Which is great when they work, but tricky to find out why they 
>> don't when the assert fails.
>
>     template hasAccept(T) {
>        static iface(CT)(CT t) {
>           auto foo = FooVisitor();
>           t.accept(foo);
>           auto bar = BarVisitor();
>           t.accept(bar);
>        }
>        static if (is(typeof(iface!T)))
>           enum hasAccept = true;
>        else
>           enum hasAccept = &iface!T;
>     }
>
> [Should probably be split into three parts: 1) the 
> if-definition, 2) the
>  does-T-implement-the-if check, and 3) the 
> T-must-implement-the-if assertion.]
>
> artur