isExpression with bool template parameter

[Ali Çehreli]

On 03/25/2013 04:57 PM, cal wrote:
>
> Trying to figure out how to pattern-match struct S below with an
> isExpression:
>
> struct S(A, bool B) {}
>
> static assert ( !is(S!(int, false) _ == S!(U, bool), U) );
> static assert ( !is(S!(int, false) _ == S!(U, V), U, V) );
> static assert ( !is(S!(int, false) _ == S!(U, V), U, V : bool) );
>
> void main(){}
>
> Can someone help?

I am not sure that I understand but usually the test is done in a 
context like foo() below:

struct S(A, bool B) {}

void foo(T)()
{
     static assert(is(T == S!(U, false), U));
}

void main()
{
     foo!(S!(int, false))();
}

Ali