[Issue 3682] Regression(2.038) is expression fails to match types

[d-bugmail at puremagic.com]

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



--- Comment #3 from Don <clugdbug at yahoo.com.au> 2010-08-24 12:39:36 PDT ---
Reduced testcase shows that it doesn't require -unittest, and it is D2-only.

--- a3682.d--------------

struct Tuple(Types...)
{
    Tuple!(Types[0..1]) slice()()
    {
        Tuple!(Types[0..1]) x;
        return x;
    }

    void fail()
    {
        Tuple!(float, double, int) a;
        auto s = a.slice();
        static assert(is(typeof(s) == Tuple!(float)));
    }
}

---- b3682.d--------------

import a3682;
alias Tuple!(int) tint;
--------------------------

> dmd a3682 b3682
a3682.d(14): Error: static assert  (is(Tuple!(float) == Tuple!(float))) is
false
a3682.d(4):        instantiated from here: Tuple!(float)
a3682.d(13):        instantiated from here: slice!()
a3682.d(12):        instantiated from here: Tuple!(float,double,int)
b3682.d(2):        instantiated from here: Tuple!(int)

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