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

[d-bugmail at puremagic.com]

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


Don <clugdbug at yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |clugdbug at yahoo.com.au
         Resolution|                            |FIXED


--- Comment #1 from Don <clugdbug at yahoo.com.au> 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: -------