Summary: template specialization bug
           Product: D
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD

--- Comment #0 from 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;

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:
------- You are receiving this mail because: -------

Reply via email to