[Issue 7680] New: template specialization bug

[d-bugmail at puremagic.com]

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

           Summary: template specialization bug
           Product: D
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: dawg at dawgfoto.de


--- Comment #0 from dawg at dawgfoto.de 2012-03-10 12:32:24 PST ---
cat > bug.d << CODE
struct Bar(T) {}
template Foo26(T:Bar!(const T))
{
    pragma(msg, "const", T);
}

template Foo26(T:Bar!(T))
{
    pragma(msg, "mod", T);
}

void main()
{
    alias Foo26!(Bar!int) foo;
}
CODE

dmd -c bug

--------

I'm not sure whether Bar!int should match Bar!(const T) in the first place.
However if it does it must be a MATCHconst.

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