[Issue 2025] Inconsistent rules for instantiating templates with a tuple parameter

[d-bugmail at puremagic.com]

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



--- Comment #8 from Stewart Gordon <smjg at iname.com> 2012-02-01 04:43:27 PST ---
(In reply to comment #7)
> more specialized == better match.  That is how template type deduction works.

But there's no (T : int) version of this template.

We have two templates to match: Foo(T) and Foo(A...).  Both patterns match
Foo!(int) exactly, and Foo(T) matches a proper subset of everything that
Foo(A...) matches.  So Foo(T) is the most specialised match that the code has
supplied.

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