is expression with template parameter list

Jacob Carlborg via Digitalmars-d-learn digitalmars-d-learn at puremagic.com
Tue Jan 12 05:03:35 PST 2016


The following example compiles work as expected:

import std.stdio;
import std.typecons;

void main()
{
     Nullable!(int) a;

     static if(is(typeof(a) == Nullable!(U), U))
         writeln("true");
     else
         writeln("false");
}

But if I use the fully qualified name in the condition, i.e. 
"std.typecons.Nullable!(U)", then I get this compile error:

main.d(8): Error: undefined identifier 'U'

Shouldn't this work? I have tried with the latest beta an a bunch of 
older versions of DMD.

-- 
/Jacob Carlborg


More information about the Digitalmars-d-learn mailing list