<p><br>
><br>
> Quick question: I have a function that takes an alias parameter:<br>
><br>
>        struct X { ... };<br>
><br>
>        void func(alias G)(object O) {<br>
>                ...<br>
>                X x = ...;<br>
>                G(x);<br>
>                ...<br>
>        }<br>
><br>
> How do I write a signature constraint that essentially specifies that G<br>
> should take a parameter of type X and return void?</p>
<p>if ( is(typeof(G(X.init ) ) == void))</p>
<p>For the expression to work, G must accept an X and return a void.</p>