[Issue 1714] Type specialization in IsExpression should work for templated types

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=1714

Andrei Alexandrescu  changed:

   What|Removed |Added

Version|2.008   |D2

--

[Issue 1714] Type specialization in IsExpression should work for templated types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=1714


Simen Kjaeraas  changed:

   What|Removed |Added

 CC||simen.kja...@gmail.com


--- Comment #2 from Simen Kjaeraas  2010-11-08 05:22:16 
PST ---
See also bug 3608, which is definitely related, but concerns variadic template
lists.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---

[Issue 1714] Type specialization in IsExpression should work for templated types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=1714


Don  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||clugd...@yahoo.com.au
 Resolution||FIXED


--- Comment #1 from Don  2010-11-08 04:47:03 PST ---
The syntax was slightly wrong. Using correct syntax, as shown below, it failed
on all versions of DMD up to and including 2.048. It was fixed in 2.049.

class Bar (T) {}
static if (is (Bar!(int) T == W!(U), alias W, U))
{
pragma(msg, W.stringof);
pragma(msg, U.stringof);
} else static assert(0);

class Foo : Bar!(int) {}
static if (is (Foo T == W!(U), alias W, U))
{
static assert(0);
}

static if (is (Foo T2 : W2!(U2), alias W2, U2))
{
pragma(msg, W2.stringof);
pragma(msg, U2.stringof);
} else static assert(0);

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---