[Issue 1528] [tdpl] overloading template and non-template functions

[d-bugmail at puremagic.com]

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



--- Comment #31 from timon.gehr at gmx.ch 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: -------