[Issue 3682] New: is expression fails to match types

[d-bugmail at puremagic.com]

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

           Summary: is expression fails to match types
           Product: D
           Version: 2.038
          Platform: x86
        OS/Version: Windows
            Status: NEW
          Keywords: rejects-valid
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: snake.scaly at gmail.com


--- Comment #0 from Sergey Gromov <snake.scaly at gmail.com> 2010-01-06 14:54:38 PST ---
contents of "a.d":
import std.typecons;

contents of "b.d":
import std.typecons;
alias Tuple!(int) tint;

compile like this:
dmd -unittest a.d b.d

error message:
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(424): Error:
static assert  (is(Tuple!(string,float) == Tuple!(string,float)))
is false
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(413):       
instantiated from here: Tuple!(string,float)
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(423):       
instantiated from here: slice!(1,3)
C:\opt\dmd.2.038\windows\bin\..\..\src\phobos\std\typecons.d(420):       
instantiated from here: Tuple!(int,string,float,double)
b.d(2):        instantiated from here: Tuple!(int)

This is a regression from 2.037.

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