http://d.puremagic.com/issues/show_bug.cgi?id=1528
--- Comment #31 from [email protected] 2013-03-15 15:52:59 PDT --- (In reply to comment #30) > ... > Parameter deduction is less specialized than matching to explicitly > specialized type parameter. > ... It's not less specialized than a normal function call without type parameters. A type parameter should match a type argument exactly. Specialization mustn't be confused with the matching level -- it should be checked in a second step, as is done for functions. Why?: Specialization is a partial order, while the matching levels form a full order. There is no way to correctly implement specialization only by abusing matching levels. (At the very least, the logic for template specialization should not interfere with template vs. function overloading!) -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
